Skip to content

Add initial specification in Quint #8

Add initial specification in Quint

Add initial specification in Quint #8

Workflow file for this run

name: Specification testing
on: pull_request
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: ">= 18"
check-latest: true
- name: Install quint
run: npm i @informalsystems/quint -g
- name: Run test
run: cd spec && make test