Skip to content

Merge remote-tracking branch 'origin/main' into bft-475-gossip-attest… #16

Merge remote-tracking branch 'origin/main' into bft-475-gossip-attest…

Merge remote-tracking branch 'origin/main' into bft-475-gossip-attest… #16

Workflow file for this run

name: Specification testing
on:
pull_request
paths:

Check failure on line 5 in .github/workflows/spec.yaml

View workflow run for this annotation

GitHub Actions / .github/workflows/spec.yaml

Invalid workflow file

You have an error in your yaml syntax on line 5
- '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: ">= 18"
check-latest: true
- name: Install quint
run: npm i @informalsystems/quint -g
- name: Run test
run: cd spec && make test