hax.yml

name: hax

on:
  push:
    branches: ["main"]

  pull_request:
    branches: ["main"]

  schedule:
    - cron: '0 0 * * *'

  workflow_dispatch:

env:
  CARGO_TERM_COLOR: always

concurrency:
  group: ${{ github.workflow }}-${{ github.ref }}
  cancel-in-progress: true

jobs:
  hax:
    runs-on: "ubuntu-latest"

    steps:
      - uses: actions/checkout@v4

      - name: Update dependencies
        run: cargo update

      - name: 🔨 OCaml Setup
        uses: ocaml/setup-ocaml@v3
        with:
          ocaml-compiler: 5.2.0

      - name: ⤵ Clone hax repository
        uses: actions/checkout@v4
        with:
          repository: hacspec/hax
          path: hax

      - name: 🔨 Setup hax
        working-directory: hax
        run: |
          sudo apt-get update
          sudo apt-get install --yes nodejs
          ./setup.sh

      - name: 🏃🏻‍♀️ Run hax extraction
        run: |
          eval $(opam env)
          ./hax-driver.py extract-fstar