2023-09-14 18:47:22 +01:00
|
|
|
name: Tests
|
2023-09-14 18:41:38 +01:00
|
|
|
on: [push, pull_request]
|
|
|
|
|
jobs:
|
2023-09-14 18:47:22 +01:00
|
|
|
Run-Tests:
|
2023-09-14 18:41:38 +01:00
|
|
|
runs-on: ubuntu-22.04
|
2023-09-14 19:00:01 +01:00
|
|
|
env:
|
|
|
|
|
DEBIAN_FRONTEND: noninteractive
|
2023-09-14 18:41:38 +01:00
|
|
|
steps:
|
|
|
|
|
- name: Check out repository code
|
|
|
|
|
uses: actions/checkout@v3
|
|
|
|
|
- run: cd ${{ github.workspace }}
|
2023-09-14 19:02:43 +01:00
|
|
|
- name: Run checker (passing)
|
2023-09-14 18:41:38 +01:00
|
|
|
run: |
|
2023-09-14 19:02:43 +01:00
|
|
|
cd tests/pass/
|
|
|
|
|
python3 ../../run-tests.py
|
|
|
|
|
- name: Run checker (failing)
|
|
|
|
|
run: |
|
|
|
|
|
cd tests/fail/
|
|
|
|
|
python3 ../../run-tests.py
|
