Skip to content

Update name "unstable interface" -> "warning sr25519 verify" #492

Update name "unstable interface" -> "warning sr25519 verify"

Update name "unstable interface" -> "warning sr25519 verify" #492

Workflow file for this run

name: General Rust
on:
push:
branches:
- "main"
paths:
- "detectors/**"
- "test-cases/**"
pull_request:
paths:
- "detectors/**"
- "test-cases/**"
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.9"
- 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.9"
- 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: Default to nightly
run: rustup default nightly-2023-12-16
- name: Install required srcs
run: rustup component add rust-src --toolchain nightly-2023-12-16-x86_64-unknown-linux-gnu
- name: Free-space claim-usage report0
run: df -h .
- name: Free-space claim-usage report1
run: du -hs /opt/hostedtoolcache/*
- name: Free-space claim-usage report2
run: du -hs /opt/hostedtoolcache/Python/*
- name: Free-space claim-usage report3
run: (ls -la /usr/local/share && du -hs /usr/local/share/boost) || true
# - name: Free-space claim-usage report3 ## not existing anymore
# run: (ls -la /opt/ghc && du -hs /opt/ghc) || true
- name: Free-space claim-dotnet
run: rm -rf /usr/share/dotnet || true
- name: Free-space claim-codeql
run: rm -rf /opt/hostedtoolcache/CodeQL || true
- name: Free-space claim-Java
run: rm -rf /opt/hostedtoolcache/Java_Temurin-Hotspot_jdk || true
- name: Free-space claim-PyPy
run: rm -rf /opt/hostedtoolcache/PyPy || true
- name: Free-space claim-Ruby
run: rm -rf /opt/hostedtoolcache/Ruby || true
- name: Free-space claim-go
run: rm -rf /opt/hostedtoolcache/go || true
- name: Free-space claim-node
run: rm -rf /opt/hostedtoolcache/node || true
- name: Free-space claim-usage report0
run: df -h .
- name: Free-space claim-usage report1
run: du -hs /opt/hostedtoolcache/*
- 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/create-or-update-comment@v4.0.0
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! 🚀