ci-spectec.yml

name: CI for spectec

on:
  push:
    branches: [ main ]
    paths: [ spectec/**, document/** ]

  pull_request:
    branches: [ main ]
    paths: [ spectec/**, document/** ]

  # Allows you to run this workflow manually from the Actions tab
  workflow_dispatch:

jobs:
  spec-tec:
    runs-on: ubuntu-latest
    steps:
      - name: Checkout repo
        uses: actions/checkout@v4
      - name: Setup OCaml
        uses: ocaml/setup-ocaml@v3
        with:
          ocaml-compiler: 4.14.x
      - name: Setup Dune
        run: opam install --yes dune menhir mdx zarith
      - name: Setup Latex
        run: sudo apt-get update -y && sudo apt-get install -y latexmk texlive-latex-recommended texlive-latex-extra texlive-fonts-recommended
      - name: Setup Sphinx
        run: pip install six && pip install sphinx==8.1.3
      - name: Build and test
        run: cd spectec && opam exec make ci