v3 release (#196)

elastio · Nov 13, 2024 · 47e62fd · 47e62fd
1 parent 4a95637
commit 47e62fd
Show file tree

Hide file tree

Showing 12 changed files with 314 additions and 147 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -52,6 +52,19 @@ jobs:
 
       - run: cd ./benchmarks/compilation && ./run.sh
 
+  version-sync:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v4
+      - run: ./scripts/sync-version.sh
+        env:
+          # Use `cargo` pre-installed in the Github Managed runner image
+          RUSTUP_TOOLCHAIN: stable
+
+      - run: >-
+          git diff --exit-code --color=always || ( echo "Version is not
+          synchronized in other files. See diff above" && exit 1 )
+
   cargo-lock:
     runs-on: ubuntu-latest