build(Cargo.*, benchmark.rs): disallow trace in benchmark (ci perf) #33
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: "ci" | |
| on: | |
| push: | |
| paths-ignore: | |
| - '**.md' | |
| branches: | |
| - main | |
| pull_request: | |
| types: [opened, synchronize] | |
| env: | |
| CARGO_TERM_COLOR: always | |
| RUSTFLAGS: "-Dwarnings" | |
| jobs: | |
| build: | |
| strategy: | |
| matrix: | |
| os: [ubuntu-latest, macos-latest] | |
| runs-on: ${{ matrix.os }} | |
| steps: | |
| - uses: actions/checkout@v3 | |
| - uses: DeterminateSystems/nix-installer-action@main | |
| - uses: cachix/cachix-action@v12 | |
| with: | |
| name: integrated-reasoning | |
| authToken: '${{ secrets.CACHIX_AUTH_TOKEN }}' | |
| - uses: actions/cache@v3 | |
| with: | |
| path: | | |
| ~/.cargo/bin/ | |
| ~/.cargo/registry/index/ | |
| ~/.cargo/registry/cache/ | |
| ~/.cargo/git/db/ | |
| target/ | |
| key: ${{ runner.os }}-cargo-${{ hashFiles('**/Cargo.lock') }} | |
| - name: build mps | |
| run: | | |
| if [[ $RUNNER_OS == Linux ]]; then | |
| nix build | |
| else | |
| nix build \ | |
| --override-input nixpkgs github:nixos/nixpkgs/nixpkgs-23.05-darwin | |
| fi | |
| - name: build tests | |
| run: | | |
| if [[ $RUNNER_OS == Linux ]]; then | |
| nix develop --command cargo test-all-features | |
| else | |
| nix develop \ | |
| --override-input nixpkgs github:nixos/nixpkgs/nixpkgs-23.05-darwin \ | |
| --command cargo test-all-features | |
| fi | |
| lint: | |
| runs-on: ubuntu-latest | |
| steps: | |
| - uses: actions/checkout@v3 | |
| - uses: DeterminateSystems/nix-installer-action@main | |
| - uses: cachix/cachix-action@v12 | |
| with: | |
| name: integrated-reasoning | |
| authToken: '${{ secrets.CACHIX_AUTH_TOKEN }}' | |
| - uses: actions/cache@v3 | |
| with: | |
| path: | | |
| ~/.cargo/bin/ | |
| ~/.cargo/registry/index/ | |
| ~/.cargo/registry/cache/ | |
| ~/.cargo/git/db/ | |
| target/ | |
| key: ${{ runner.os }}-cargo-lint-${{ hashFiles('**/Cargo.lock') }} | |
| - name: Check formatting | |
| run: nix develop --command cargo fmt --all --check | |
| - name: Run Clippy | |
| run: nix develop --command cargo clippy --all-targets --all-features | |
| - name: Run cargo-deny | |
| run: nix develop --command cargo deny check | |
| - name: Check flake | |
| run: nix flake check | |
| - name: Check nix shell | |
| run: nix develop --ignore-environment --command "rustc" "--version" | |
| coverage: | |
| runs-on: ubuntu-latest | |
| steps: | |
| - uses: actions/checkout@v3 | |
| - uses: DeterminateSystems/nix-installer-action@main | |
| - uses: cachix/cachix-action@v12 | |
| with: | |
| name: integrated-reasoning | |
| authToken: '${{ secrets.CACHIX_AUTH_TOKEN }}' | |
| - uses: actions/cache@v3 | |
| with: | |
| path: | | |
| ~/.cargo/bin/ | |
| ~/.cargo/registry/index/ | |
| ~/.cargo/registry/cache/ | |
| ~/.cargo/git/db/ | |
| target/ | |
| key: ${{ runner.os }}-cargo-coverage-${{ hashFiles('**/Cargo.lock') }} | |
| - name: Generate code coverage | |
| run: nix develop --command cargo llvm-cov --all-features --workspace --lcov --output-path lcov.info nextest | |
| - name: Upload coverage to Codecov | |
| uses: codecov/codecov-action@v3 | |
| with: | |
| token: ${{ secrets.CODECOV_TOKEN }} | |
| files: lcov.info | |
| fail_ci_if_error: true |