Skip to content

Configure CI

Configure CI #6

Workflow file for this run

name: crypto-specs
on:
workflow_dispatch:
push:
env:
OPAMROOT: /home/charlie/.opam
OPAMYES: true
OPAMJOBS: 2
ECRJOBS: 1
jobs:
ec:
name: Check EasyCrypt Files
runs-on: ubuntu-20.04
container:
image: ghcr.io/easycrypt/ec-build-box
strategy:
fail-fast: false
steps:
- uses: actions/checkout@v4
- uses: actions/checkout@v4
with:
repository: jasmin-lang/jasmin
ref: refs/heads/main
path: jasmin
- 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 config exec -- easycrypt why3config
- name: Compile Project
run: opam exec -- make check