ci.yml

name: Hakyber

on:
  workflow_dispatch:
  push:
    branches:
      - master

env:
  OPAMROOT: /home/charlie/.opam
  OPAMYES: true
  OPAMJOBS: 2
  ECRJOBS: 1

jobs:
  ec:
    name: Check Hakyber EasyCrypt Project
    runs-on: ubuntu-20.04
    container:
      image: easycryptpa/ec-build-box
    strategy:
      fail-fast: false
    steps:
    - uses: actions/checkout@v3
      with:
        submodules: recursive
    - uses: actions/checkout@v3
      name: Checkout EasyCrypt
      with:
        repository: EasyCrypt/easycrypt
        ref: refs/heads/main
        path: easycrypt
    - name: Update OPAM & EasyCrypt dependencies
      run: |
        opam update
        opam pin add -n easycrypt easycrypt
        opam install --deps-only easycrypt
    - name: Compile & Install EasyCrypt
      run: opam install easycrypt
    - name: Detect SMT provers
      run: |
        rm -f ~/.why3.conf
        opam config exec -- easycrypt why3config -why3 ~/.why3.conf
    - name: Compile Project
      run: opam config exec -- make checkec