Repository navigation
fix: reject model answers without test candidates #25
Workflow file for this run
This file contains hidden or 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: Build and test | |
| on: | |
| push: | |
| pull_request: | |
| workflow_dispatch: | |
| permissions: | |
| contents: read | |
| jobs: | |
| build-and-test: | |
| runs-on: ubuntu-24.04 | |
| timeout-minutes: 30 | |
| env: | |
| CARGO_TERM_COLOR: always | |
| steps: | |
| - uses: actions/checkout@34e114876b0b11c390a56381ad16ebd13914f8d5 # v4.3.1 | |
| with: | |
| persist-credentials: false | |
| - name: Install the pinned compiler and components | |
| run: rustup toolchain install nightly-2025-03-19 --profile minimal --component rust-src --component rustc-dev --component llvm-tools-preview | |
| - name: Build without model configuration | |
| run: | | |
| test ! -e utgen/res/api.json | |
| cargo build --workspace --locked | |
| - name: Run tests without a model service | |
| run: cargo test --workspace --locked | |
| - name: Check the installer and CLI entry points | |
| run: | | |
| bash -n install.sh | |
| ./install.sh --help | |
| ./target/debug/cargo-brinfo --help | |
| ./target/debug/cargo-call-chain --help | |
| ./target/debug/focxt --help | |
| ./target/debug/utgen --help | |
| - name: Check the standalone example workspace | |
| run: cargo metadata --manifest-path examples/bytes/Cargo.toml --no-deps --format-version 1 > /dev/null | |
| - name: Install the validated coverage tool | |
| run: cargo +stable install cargo-llvm-cov --version 0.6.16 --locked | |
| - name: Check coverage annotation compatibility | |
| run: python3 scripts/check_coverage.py | |
| - name: Validate the minimal analysis and test pipeline | |
| run: python3 scripts/check_minimal.py | |
| - name: Check generation and repair task limits | |
| run: python3 scripts/check_tasks.py | |
| - name: Build release analysis tools | |
| run: cargo build --workspace --release --locked | |
| - name: Validate bytes analysis and method identities | |
| run: python3 scripts/check_bytes.py |