quint.yml

on:
  workflow_dispatch:
  push:
    branches:
      - main
    paths:
      - Specs/Quint/**
  pull_request:
    paths:
      - Specs/Quint/**

name: Quint

jobs:
  quint-typecheck:
    name: Typecheck
    runs-on: ubuntu-latest
    defaults:
      run:
        working-directory: ./Specs/Quint
    steps:
      - uses: actions/checkout@v4
      - uses: actions/setup-node@v3
        with:
          node-version: "18"
      - run: npm install -g @informalsystems/quint
      - run: npx @informalsystems/quint typecheck AsyncModels.qnt
      - run: npx @informalsystems/quint typecheck basicSpells.qnt
      - run: npx @informalsystems/quint typecheck consensus.qnt
      - run: npx @informalsystems/quint typecheck consensustest.qnt
      - run: npx @informalsystems/quint typecheck executor.qnt
      - run: npx @informalsystems/quint typecheck extraSpells.qnt
      - run: npx @informalsystems/quint typecheck statemachine.qnt
      - run: npx @informalsystems/quint typecheck statemachineAsync.qnt
      - run: npx @informalsystems/quint typecheck voteBookkeeper.qnt

  quint-test:
    name: Test
    runs-on: ubuntu-latest
    defaults:
      run:
        working-directory: ./Specs/Quint
    env:
      MAX_STEPS:   20
      MAX_SAMPLES: 10000
    steps:
      - uses: actions/checkout@v4
      - uses: actions/setup-node@v3
        with:
          node-version: "18"
      - run: npm install -g @informalsystems/quint
      - run: npx @informalsystems/quint run --max-steps $MAX_STEPS --max-samples $MAX_SAMPLES consensustest.qnt