Skip to content

Minor refactor

Minor refactor #252

Workflow file for this run

name: Test cvc5
on:
pull_request:
types: [ labeled ]
jobs:
test-cvc5:
if: contains(github.event.pull_request.labels.*.name, 'cvc5')
runs-on: ubuntu-latest
env:
OPAMJOBS: 4
OPAMCONFIRMLEVEL: unsafe-yes
steps:
- name: Checkout
uses: actions/checkout@v4
# Removes ·git to prevent opam from checking out submodueles
- name: Remove .git
run: rm -rf .git
- name: Setup OCaml 4.14
uses: ocaml/setup-ocaml@v3
with:
ocaml-compiler: "4.14"
dune-cache: true
- name: Install dependencies
run: |
opam install -y . --deps-only --with-test
opam install cvc5
- name: Build
run: opam exec -- dune build @install
- name: Test
run: opam exec -- dune runtest