Add workspace check on merge commit

.github/workflows/ci.yml → .github/workflows/contract.yml

@@ -1,4 +1,4 @@
-name: Contract Development
+name: Contract
 
 # Pushes to long living branches and all PRs
 on:

.github/workflows/workspace.yml

@@ -0,0 +1,25 @@
+name: Workspace
+
+# Check workspace build on merge commit of all PRs.
+# Branches are checked better by CircleCI.
+on:
+  pull_request:
+
+env:
+  RUST_BACKTRACE: 1
+
+jobs:
+  check-workspace:
+    name: Check workspace
+    runs-on: ubuntu-24.04
+    steps:
+      - name: Checkout sources
+        uses: actions/checkout@v4
+      - name: Install Rust
+        uses: dtolnay/rust-toolchain@master
+        with:
+          toolchain: 1.73.0
+          targets: wasm32-unknown-unknown
+          components: clippy, rustfmt
+      - name: Check workspace
+        run: ./devtools/check_workspace.sh