-
Notifications
You must be signed in to change notification settings - Fork 2
124 lines (115 loc) · 3.47 KB
/
rust.yml
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
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
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
# just triggers rustup to download the toolchain
- name: Cache Toolchain
uses: actions/cache@v3
with:
path: ~/.rustup
key: ${{ runner.os }}-rust-toolchain-${{ hashFiles('rust-toolchain.toml') }}
- name: Cache Dependencies
uses: actions/cache@v3
with:
path: |
~/.cargo/bin/
~/.cargo/registry/index/
~/.cargo/registry/cache/
~/.cargo/git/db/
target/
key: ${{ runner.os }}-rust-deps-${{ hashFiles('Cargo.lock', 'rust-toolchain.toml') }}
- name: Build
run: cargo build --verbose
- name: Run tests
run: |
cargo test -p dfpp --test non_transitive_graph_tests
cargo test -p dfpp --test call_chain_analysis_tests
cargo test -p dfpp --test control_flow_tests
cargo test -p dfpp --test new_alias_analysis_tests
cargo test -p dfpp --test async_tests
cargo test -p dfpp --test inline_elision_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 -p dfpp --test external_annotation_tests
format-check:
name: Format Control
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v3
# just triggers rustup to download the toolchain
- name: Cache Toolchain
uses: actions/cache@v3
with:
path: ~/.rustup
key: ${{ runner.os }}-rust-toolchain-${{ hashFiles('rust-toolchain.toml') }}
- name: Check main repo
run: cargo fmt --check
- name: Check properties
run: cargo fmt --check
working-directory: props
linting:
name: Clippy
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v3
- name: Cache Toolchain
uses: actions/cache@v3
with:
path: ~/.rustup
key: ${{ runner.os }}-rust-toolchain-${{ hashFiles('rust-toolchain.toml') }}
- name: Cache Dependencies
uses: actions/cache@v3
with:
path: |
~/.cargo/bin/
~/.cargo/registry/index/
~/.cargo/registry/cache/
~/.cargo/git/db/
target/
key: ${{ runner.os }}-rust-deps-${{ hashFiles('Cargo.lock', 'rust-toolchain.toml') }}
- name: Here come the complaints
run: cargo clippy --all -- -D warnings
- name: Complaints about properties
run: cargo clippy --all -- -D warnings
working-directory: props