Skip to content

Commit

Permalink
CI: use ghcr docker image + simplify script
Browse files Browse the repository at this point in the history
  • Loading branch information
strub committed Jul 21, 2024
1 parent d4c59cf commit a852656
Show file tree
Hide file tree
Showing 3 changed files with 47,395 additions and 46 deletions.
46 changes: 0 additions & 46 deletions .github/workflows/ci.yml

This file was deleted.

36 changes: 36 additions & 0 deletions .github/workflows/prover-ec-dev-version.yml
Original file line number Diff line number Diff line change
@@ -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
Loading

0 comments on commit a852656

Please sign in to comment.