Skip to content

Add an integration test setup and workflow (#16) #20

Add an integration test setup and workflow (#16)

Add an integration test setup and workflow (#16) #20

Workflow file for this run

name: Rust
on:
push:
branches: [ "main" ]
pull_request:
branches: [ "main" ]
env:
CARGO_TERM_COLOR: always
RUST_BACKTRACE: 1
FORGE_REVISION: aa2e8a67a8ff38db145dcb1a1aa5c02d0b851235
racket_version: 8.1
jobs:
compiler-tests:
name: Compiler Tests
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v3
- name: Build
run: cargo build --verbose
- name: Run tests
run: |
cargo test --test non_transitive_graph_tests
cargo test --test call_chain_analysis_tests
cargo test --test control_flow_tests
cargo test --test new_alias_analysis_tests
cargo test --test async_tests
intergration-tests:
name: Integration Tests
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v3
- name: Build Compiler
run: cargo build --verbose
- name: Cache Racket dependencies
uses: actions/cache@v3
with:
path: |
~/.cache/racket
~/.local/share/racket
key: ${{ runner.os }}-integration-tests-${{ env.racket_version }}-${{ env.FORGE_REVISION }}
- name: Install Racket
uses: Bogdanp/[email protected]
with:
architecture: 'x64'
distribution: 'full'
variant: 'CS'
version: ${{ env.racket_version }}
- name: Install Forge
run: |
cd ..
git clone https://github.com/tnelson/Forge
cd Forge
git checkout ${FORGE_REVISION}
cd forge
raco pkg install --auto || raco setup forge
- name: Run Tests
run: cargo test --test external_annotation_tests