ci.yml

name: Crypto Proofs Check

on: [push,pull_request]

env:
  HOME: /home/charlie
  OPAMYES: true
  OPAMJOBS: 2

jobs:
  pre_job:
    name: Check for Duplicates Jobs
    runs-on: ubuntu-20.04
    outputs:
      should_skip: ${{ steps.skip_check.outputs.should_skip }}
    steps:
    - uses: fkirc/skip-duplicate-actions@v5
      id: skip_check
      with:
        concurrent_skipping: 'same_content_newer'
        skip_after_successful_duplicate: 'true'

  easycrypt:
    needs: pre_job
    if: needs.pre_job.outputs.should_skip != 'true'
    name: Compile & Cache EasyCrypt
    runs-on: ubuntu-20.04
    container:
      image: ghcr.io/easycrypt/ec-build-box
    steps:
    - uses: actions/checkout@v4
    - name: Compile & Cache EasyCrypt
      uses: ./.github/actions/easycrypt 

  project:
    name: Compile Project
    needs: easycrypt
    runs-on: ubuntu-20.04
    container:
      image: ghcr.io/easycrypt/ec-build-box
    strategy:
      fail-fast: false
      matrix:
        target: [ [ 'ci-test', 'config/tests.config', 'all' ] ]
    steps:
    - uses: actions/checkout@v4
    - name: Compile & Cache EasyCrypt
      uses: ./.github/actions/easycrypt
    - name: Compile project
      working-directory: ${{ matrix.target[0] }}
      run: opam exec -- easycrypt runtest ${{ matrix.target[1] }} ${{ matrix.target[2] }}