.github/workflows/build.yml: Add a "Check expected plugins" step.

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index 77fa197e81e721bf5a3aa9995dd3f7aca341a599..d876642d5cc6f7a6930d0f764804c53a832f5f29 100644 (file)
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -75,6 +75,11 @@ jobs:
         path: "*.log"
     - name: Report check status
       run: exit $(< make-check.status)
+    - name: Check expected plugins
+      run: |
+        if [[ -e ".expected-plugins/${{ matrix.container_tag }}" ]]; then
+          /checks/check-built-plugins.sh ".expected-plugins/${{ matrix.container_tag }}"
+        fi
 
   experimental:
     runs-on: ubuntu-latest