Add is_n_ge_two hint #9
Workflow file for this run
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: check | |
| on: | |
| push: | |
| branches: | |
| - main | |
| pull_request: | |
| jobs: | |
| rustfmt: | |
| runs-on: ubuntu-latest | |
| steps: | |
| - uses: actions/checkout@v3 | |
| - run: rustup show | |
| - run: rustup toolchain install nightly | |
| - run: rustup component add rustfmt --toolchain nightly | |
| - uses: Swatinem/rust-cache@v2 | |
| - run: cargo +nightly fmt --all -- --check | |
| clippy: | |
| runs-on: ubuntu-latest | |
| steps: | |
| - uses: actions/checkout@v3 | |
| - run: rustup show | |
| - uses: Swatinem/rust-cache@v2 | |
| - run: cargo clippy --all -- -D warnings | |
| tests: | |
| runs-on: ubuntu-latest | |
| steps: | |
| - uses: actions/checkout@v3 | |
| with: | |
| submodules: "true" | |
| - run: rustup show | |
| - uses: Swatinem/rust-cache@v2 | |
| - uses: actions/setup-python@v4 | |
| with: | |
| python-version: '3.9' | |
| - run: | | |
| pip install cairo-lang==0.12.2 | |
| cairo-format -c tests/programs/* | |
| bash ./scripts/reset-tests.sh | |
| cargo test | |
| udeps: | |
| runs-on: ubuntu-latest | |
| steps: | |
| - uses: actions/checkout@v3 | |
| - uses: dtolnay/rust-toolchain@nightly | |
| - uses: Swatinem/rust-cache@v2 | |
| with: | |
| cache-on-failure: true | |
| - run: cargo install cargo-udeps --locked | |
| - run: cargo +nightly udeps --all-targets | |
| orphans: | |
| runs-on: ubuntu-latest | |
| steps: | |
| - uses: actions/checkout@v3 | |
| - run: rustup show | |
| - run: rustup toolchain install nightly | |
| - run: rustup component add rustfmt --toolchain nightly | |
| - uses: Swatinem/rust-cache@v2 | |
| - run: git submodule update --init | |
| - run: ./scripts/check-orphans.sh | |