HVM/.github/workflows/tests.yml at master · racs4/HVM · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
name: Tests
on:
  workflow_call:
jobs:
  hvm-tests:
    name: 🔎 HVM Tests
    runs-on: ${{ matrix.os }}
    strategy:
      matrix:
        os: [macos-latest, ubuntu-latest, windows-latest]
        run_mode: [interpreted, compiled, single-thread]
        exclude:
          - os: windows-latest
            run_mode: compiled
          - os: windows-latest
            run_mode: single-thread
    env:
      # Add .exe suffix to HVM command on Windows
      HVM_CMD: ${{matrix.os != 'windows-latest' && './target/release/hvm' || './target/release/hvm.exe'}}
    steps:
      - uses: actions/checkout@v2
      - uses: actions/setup-python@v3
        with:
          python-version: "3.10"
      - uses: actions-rs/toolchain@v1
        with:
          profile: minimal
          toolchain: stable
          override: true

      - run: cargo build --release
      # FIXME: compiled mode of kind 2 teste don't work because compiled
      # code don't have sugar for strings
      - run: python3 -X utf8 tests/test_cli.py --hvm-cmd ${{env.HVM_CMD}}
          --run-mode ${{ matrix.run_mode }} --skip-test kind2