Lazy values not set (#265) #519
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: 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! 🚀 |