Gambit action draft

OffchainLabs · Aug 12, 2024 · e50b90c · e50b90c
1 parent bf39f87
commit e50b90c
Showing 1 changed file with 17 additions and 0 deletions.
diff --git a/.github/workflows/gambit.yml b/.github/workflows/gambit.yml
@@ -0,0 +1,17 @@
+name: Gambit mutation testing
+
+on:
+  workflow_dispatch:
+
+jobs:
+  run-mutation-tests:
+    runs-on: ubuntu-latest
+    steps:
+      - name: Install Gambit
+        run: |
+          wget -O gambit https://github.com/Certora/gambit/releases/download/v1.0.5/gambit-linux-v1.0.5
+          chmod +x gambit
+          sudo mv gambit /usr/local/bin/
+
+      - name: Verify Gambit Installation
+        run: gambit --help