Lean build: always ship core (manifest-less) frontends

.github/workflows/ci.yml

@@ -82,6 +82,11 @@ jobs:
               echo "FAIL: chosen-plugin code '$code' missing from the lean bundle"
               exit 1; }
           done
+          # Core frontends (no manifest, e.g. applications) must ship in EVERY
+          # build regardless of SITE_PLUGINS, or a lean site loses a core page.
+          grep -rqoh "ApplicationsList" "$assets"/*.js || {
+            echo "FAIL: core page 'ApplicationsList' missing from the lean bundle"
+            exit 1; }
           test -d /tmp/leansite/plugins/machines
           test ! -d /tmp/leansite/plugins/printedparts
           echo "lean build verified: only chosen plugins present"