Skip to content

Enable smoke tests for guided model checking of the Quint specs in the CI #36

Enable smoke tests for guided model checking of the Quint specs in the CI

Enable smoke tests for guided model checking of the Quint specs in the CI #36

Workflow file for this run

name: Specification testing
on:
pull_request:
paths:
- "spec/**"
jobs:
test:
runs-on: ubuntu-latest
steps:
- name: Checkout the repository
uses: actions/checkout@v4
- name: Install node
uses: actions/setup-node@v4
with:
node-version: 20
check-latest: true
- name: Install quint
run: npm i @informalsystems/[email protected] -g
- name: Run test
run: cd spec && make test