ci, gha: Run "SageMath prover" job on GitHub Actions

BlockstreamResearch · Aug 14, 2023 · c8d9914 · c8d9914
1 parent 8d2960c
commit c8d9914
Showing 1 changed file with 16 additions and 0 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -37,3 +37,19 @@ jobs:
           build\src\RelWithDebInfo\bench_ecmult.exe
           build\src\RelWithDebInfo\bench_internal.exe
           build\src\RelWithDebInfo\bench.exe
+
+  sage:
+    name: "SageMath prover"
+    runs-on: ubuntu-latest
+    container:
+      image: sagemath/sagemath:latest
+      options: --user root
+
+    steps:
+      - name: Checkout
+        uses: actions/checkout@v3
+
+      - name: CI script
+        run: |
+          cd sage
+          sage prove_group_implementations.sage