-
Notifications
You must be signed in to change notification settings - Fork 5
109 lines (89 loc) · 2.98 KB
/
general-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
name: General Rust
on:
pull_request:
paths:
- "detectors/**"
- "test-cases/**"
- "scripts/**"
- "!detectors/**/*.md"
- "!test-cases/**/*.md"
workflow_dispatch:
env:
CARGO_TERM_COLOR: always
PYTHONUNBUFFERED: 1
jobs:
format:
name: Check Rust Format
runs-on: ubuntu-latest
outputs:
status: ${{ job.status }}
steps:
- name: Checkout Code
uses: actions/checkout@v4
- name: Set up Python
uses: actions/setup-python@v5
with:
python-version: "3.10"
- name: Update Rust Toolchain
run: rustup update
- name: Install Rust nightly
run: rustup install nightly --profile minimal
- name: Install rustfmt
run: rustup component add rustfmt --toolchain nightly
- name: Check Format
run: python scripts/run-fmt.py --dir test-cases detectors
clippy:
name: Lint with Clippy
runs-on: ubuntu-latest
outputs:
status: ${{ job.status }}
steps:
- name: Checkout Code
uses: actions/checkout@v4
- name: Set up Python
uses: actions/setup-python@v5
with:
python-version: "3.10"
- name: Cache Rust Dependencies
uses: actions/cache@v4
with:
path: |
~/.cargo
~/.rustup
key: ${{ runner.os }}-cargo-clippy-${{ hashFiles('**/Cargo.lock') }}
- name: Update Rust Toolchain
run: rustup update
- name: Install Rust nightly
run: rustup install nightly-2023-12-16 --profile minimal
- name: Install dylint-link
run: cargo install dylint-link
- name: Install clippy
run: rustup component add clippy --toolchain nightly-2023-12-16
- name: Lint with Clippy
run: python scripts/run-clippy.py --dir test-cases detectors
comment-on-pr:
name: Comment on PR
runs-on: ubuntu-latest
if: ${{ always()}}
needs: [format, clippy]
steps:
- name: Find comment
id: find_comment
uses: peter-evans/find-comment@v3
with:
issue-number: ${{ github.event.pull_request.number }}
body-includes: "🎉 **General Rust Workflow Summary** 🎉"
- name: Create or Update PR Comment
uses: peter-evans/[email protected]
with:
token: ${{ secrets.GITHUB_TOKEN }}
comment-id: ${{ steps.find_comment.outputs.comment-id }}
edit-mode: replace
issue-number: ${{ github.event.pull_request.number }}
body: |
🎉 **General Rust Workflow Summary** 🎉
| Component | Status |
|---------------------------|--------|
| Check Rust Format | ${{ (needs.format.outputs.status == 'success' && '✅ Successful') || '❌ Failed' }} |
| Lint with Clippy | ${{ (needs.clippy.outputs.status == 'success' && '✅ Successful') || '❌ Failed' }} |
The workflow has completed. Great job! 🚀