CI: use ghcr docker image + simplify script

formosa-crypto · Jul 21, 2024 · 6d9e524 · 6d9e524
1 parent d4c59cf
commit 6d9e524
Show file tree

Hide file tree

Showing 2 changed files with 36 additions and 46 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
diff --git a/.github/workflows/prover-ec-dev-version.yml b/.github/workflows/prover-ec-dev-version.yml
@@ -0,0 +1,36 @@
+name: Hakyber on EasyCrypt/dev
+
+on:
+  workflow_dispatch:
+  push:
+    branches:
+      - master
+
+env:
+  OPAMROOT: /home/charlie/.opam
+  OPAMYES: true
+  OPAMJOBS: 2
+  ECRJOBS: 1
+
+jobs:
+  ec:
+    name: Hakyber on EasyCrypt/dev
+    runs-on: ubuntu-20.04
+    container:
+      image: ghcr.io/easycrypt/ec-build-box
+    strategy:
+      fail-fast: false
+    steps:
+    - uses: actions/checkout@v4
+      with:
+        submodules: recursive
+    - name: Compile & Install EasyCrypt
+      run: |
+        opam pin --dev-repo add -n easycrypt https://github.com/EasyCrypt/easycrypt.git
+        opam install -v easycrypt
+    - name: Detect SMT provers
+      run: |
+        opam exec -- easycrypt why3config
+    - name: Compile Project
+      run: |
+        opam exec -- make checkec