Skip to content

Merge branch 'main' into rivet_fmt #666

Merge branch 'main' into rivet_fmt

Merge branch 'main' into rivet_fmt #666

Workflow file for this run

name: Library Tests
on:
push:
paths: ['lib/**.ri', 'rivetc/**.py']
pull_request:
paths: ['lib/**.ri', 'rivetc/**.py']
types: [opened, synchronize]
jobs:
ubuntu-clang:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
- name: Run core library tests
run: |
python3 rivetc -C clang -t lib/core/tests/
- name: Run standard library tests
run: |
python3 rivetc -C clang -t lib/std/tests/
- name: Run Rivet self-hosted tests
run: |
python3 rivetc -C clang -t lib/rivet/tests/
ubuntu-gcc:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
- name: Run core library tests
run: |
python3 rivetc -C gcc -t lib/core/tests/
- name: Run standard library tests
run: |
python3 rivetc -C gcc -t lib/std/tests/
- name: Run Rivet self-hosted tests
run: |
python3 rivetc -C gcc -t lib/rivet/tests/