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

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index eda931c836882ba90433a51b8aa0c3d1286c8f1f..0a9e915ce2ab718227c5116cfdd1272743017288 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