Iterate bug #167
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| name: Test Gibbon RTS | |
| on: | |
| - push | |
| - pull_request | |
| env: | |
| CARGO_TERM_COLOR: always | |
| jobs: | |
| build_and_test: | |
| name: test-gibbon-rts | |
| runs-on: ubuntu-22.04 | |
| strategy: | |
| matrix: | |
| toolchain: | |
| - nightly-2022-12-30 | |
| steps: | |
| - name: dependencies | |
| run: | | |
| sudo apt-get update | |
| sudo apt-get install -y libgc-dev libgmp-dev uthash-dev gcc-11 | |
| sudo unlink /usr/bin/gcc && sudo ln -s /usr/bin/gcc-11 /usr/bin/gcc | |
| - name: rustup | |
| run: rustup update ${{ matrix.toolchain }} && rustup default ${{ matrix.toolchain }} | |
| - name: checkout | |
| uses: actions/checkout@v3 | |
| - name: build and test | |
| run: | | |
| export GIBBONDIR=`pwd` | |
| cd gibbon-rts/ | |
| make all | |
| cargo build -v | |
| cargo test gc_tests1 -- --nocapture --test-threads 1 | |
| - name: build and test (no eager promotion) | |
| run: | | |
| export GIBBONDIR=`pwd` | |
| cd gibbon-rts/ | |
| make clean | |
| make GCSTATS=1 EAGER_PROMOTION=0 | |
| cargo build -v | |
| cargo test gc_tests2 -- --nocapture --test-threads 1 |