add bfv images and fix operations #30
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
| # This workflow uses actions that are not certified by GitHub. | |
| # They are provided by a third-party and are governed by | |
| # separate terms of service, privacy policy, and support | |
| # documentation. | |
| # rust-clippy is a tool that runs a bunch of lints to catch common | |
| # mistakes in your Rust code and help improve your Rust code. | |
| # More details at https://github.com/rust-lang/rust-clippy | |
| # and https://rust-lang.github.io/rust-clippy/ | |
| name: rust-clippy analyze | |
| on: | |
| push: | |
| branches: [ "main" ] | |
| pull_request: | |
| # The branches below must be a subset of the branches above | |
| branches: [ "main" ] | |
| schedule: | |
| - cron: '33 8 * * 3' | |
| jobs: | |
| rust-clippy-analyze: | |
| name: Run rust-clippy analyzing | |
| runs-on: ubuntu-latest | |
| permissions: | |
| contents: read | |
| security-events: write | |
| actions: read # only required for a private repository by github/codeql-action/upload-sarif to get the Action run status | |
| steps: | |
| - name: Checkout code | |
| uses: actions/checkout@v2 | |
| - name: Install Rust toolchain | |
| uses: actions-rs/toolchain@16499b5e05bf2e26879000db0c1d13f7e13fa3af #@v1 | |
| with: | |
| profile: minimal | |
| toolchain: stable | |
| components: clippy,rustfmt | |
| override: true | |
| - name: Set up cargo cache | |
| uses: actions/cache@v3 | |
| continue-on-error: false | |
| with: | |
| path: | | |
| ~/.cargo/bin/ | |
| ~/.cargo/registry/index/ | |
| ~/.cargo/registry/cache/ | |
| ~/.cargo/git/db/ | |
| target/ | |
| key: ${{ runner.os }}-cargo-${{ hashFiles('**/Cargo.lock') }} | |
| restore-keys: ${{ runner.os }}-cargo- | |
| - name: Install required cargo | |
| run: cargo install --force clippy-sarif sarif-fmt | |
| - name: Run rust-clippy | |
| run: | |
| cargo clippy --all-targets --all-features --message-format=json | | |
| clippy-sarif | tee results.sarif | sarif-fmt | |
| continue-on-error: true | |
| - name: Upload analysis results to GitHub | |
| uses: github/codeql-action/upload-sarif@v2 | |
| with: | |
| sarif_file: results.sarif | |
| wait-for-processing: true |