nightly.yml

name: Nightly
on:
  schedule:
    - cron: '0 2 * * *'
  workflow_dispatch:
jobs:
  build:
    runs-on: ubuntu-latest
    steps:
    - uses: actions/checkout@v4
    - name: Cache Cargo build
      uses: actions/cache@v4
      with:
        path: |
          ~/.cargo/registry
          ~/.cargo/git
          target
        key: ${{ runner.os }}-cargo-${{ hashFiles('**/Cargo.lock') }}
    - name: Cache Opam switch
      uses: actions/cache@v4
      with:
        path: ~/.local/share/creusot/_opam
        key: ${{ runner.os }}-opam-${{ hashFiles('creusot-deps.opam') }}
        restore-keys: ${{ runner.os }}-opam-
    - name: Install Opam
      uses: ocaml/setup-ocaml@v3
      with:
        ocaml-compiler: 5.3.0
        opam-pin: false
    - name: Setup environment
      run: |
        sudo apt update
        opam --cli=2.1 var --global in-creusot-ci=true
    - name: Install Creusot
      # Use only 2 parallel provers, because more provers (4) makes replaying proofs unstable
      run: ./INSTALL --provers-parallelism 2
    - run: cargo test --test why3