ci: Check generated extensions

Author: tomasol

.github/workflows/check.yml

@@ -86,3 +86,29 @@ jobs:
 
       - name: cargo clippy
         run: nix develop .#noObelisk --command cargo clippy --workspace --all-targets -- -D warnings
+
+  check-generated-extensions:
+    runs-on: ubuntu-24.04
+    steps:
+      - uses: actions/checkout@v4
+
+      - uses: nixbuild/nix-quick-install-action@v30
+        with:
+          github_access_token: ${{ secrets.GITHUB_TOKEN }}
+          nix_conf: |
+            extra-substituters = https://cache.garnix.io
+            extra-trusted-public-keys = cache.garnix.io:CTFPyKSLcx5RMJKfLo5EEPUObbA78b0YQ2DTCJXqr9g
+      - name: Populate the nix store
+        run: |
+          nix develop --command echo
+
+      - run: nix develop --command ./scripts/obelisk-generate-extensions.sh
+
+      - run: |
+          if git diff --quiet; then
+              echo "No changes"
+          else
+              echo "Changes in generated extensions detected:"
+              echo "$(git diff)"
+              exit 1
+          fi

scripts/obelisk-regen.sh scripts/obelisk-generate-extensions.shscripts/obelisk-regen.sh renamed to scripts/obelisk-generate-extensions.sh

@@ -3,7 +3,5 @@
 set -exuo pipefail
 cd "$(dirname "$0")/.."
 
-(
-cd fly-http/wit
-obelisk generate extensions activity_wasm .
-)
+obelisk generate extensions activity_wasm fly-http/wit/
+