From c1247d7290fa2bd93c97bf3d99c1d58689d34afd Mon Sep 17 00:00:00 2001
From: Simon Warta <simon@warta.it>
Date: Sat, 18 May 2024 11:15:27 +0200
Subject: [PATCH] Add workspace check on merge commit

---
 .github/workflows/{ci.yml => contract.yml} |  2 +-
 .github/workflows/workspace.yml            | 25 ++++++++++++++++++++++
 2 files changed, 26 insertions(+), 1 deletion(-)
 rename .github/workflows/{ci.yml => contract.yml} (97%)
 create mode 100644 .github/workflows/workspace.yml

diff --git a/.github/workflows/ci.yml b/.github/workflows/contract.yml
similarity index 97%
rename from .github/workflows/ci.yml
rename to .github/workflows/contract.yml
index 638ece7312..5fb44aeff5 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/contract.yml
@@ -1,4 +1,4 @@
-name: Contract Development
+name: Contract
 
 # Pushes to long living branches and all PRs
 on:
diff --git a/.github/workflows/workspace.yml b/.github/workflows/workspace.yml
new file mode 100644
index 0000000000..8d55b7e38e
--- /dev/null
+++ b/.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