main.yml

# This build configuration is adapted from Apalache

on:
  # Every pull request
  pull_request:
  #  Pushes into the trunk
  #  This is important to ensure the trunk is not broken and
  #  to populate the cache for future PRs.
  #  See https://github.saobby.my.eu.orgmunity/t/actions-cache-cache-not-being-hit-despite-of-being-present/17956/3
  push:
    branches:
      - main
    
name: build

jobs:
  tntc-unit-tests:
    runs-on: ${{ matrix.operating-system }}
    strategy:
      fail-fast: false
      matrix:
        operating-system: [ubuntu-latest, macos-latest, windows-latest]
    steps:
      - uses: actions/checkout@v2
      - uses: actions/setup-node@v2
        with:
          node-version: '17'  
      - run: cd ./tntc && npm install
      - run: cd ./tntc && npm run compile
      - run: cd ./tntc && npm test

  tntc-integration-tests:
    runs-on: ${{ matrix.operating-system }}
    strategy:
      fail-fast: false
      matrix:
        operating-system: [ubuntu-latest, macos-latest, windows-latest]
    steps:
      - uses: actions/checkout@v2
      - uses: actions/setup-node@v2
        with:
          node-version: '17'  
      - run: npm install -g txm
      - run: cd ./tntc && npm install
      - run: cd ./tntc && npm run compile && npm link
      - run: cd ./tntc && txm cli-tests.md

  tntc-antlr-grammar:
    runs-on: ubuntu-latest
    steps:
      - uses: actions/checkout@v2
      - uses: actions/setup-node@v2
        with:
          node-version: '17'  
      - run: cd ./tntc && npm install
      - run: cd ./tntc && npm run antlr