Skip to content

Build CI against the committed lockfiles #6

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
mrexodia merged 1 commit into from
Aug 15, 2026
Merged

Build CI against the committed lockfiles #6

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
8 changes: 4 additions & 4 deletions .github/workflows/ci.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -39,11 +39,11 @@ jobs:
- name: Format
run: cargo fmt --all -- --check
- name: Test
run: cargo test --workspace
run: cargo test --locked --workspace
- name: Clippy
run: cargo clippy --workspace --all-targets -- -D warnings
run: cargo clippy --locked --workspace --all-targets -- -D warnings
- name: qfbvsmtrs fuzz crate check
run: cargo check --manifest-path crates/qfbvsmtrs/fuzz/Cargo.toml
run: cargo check --locked --manifest-path crates/qfbvsmtrs/fuzz/Cargo.toml
- name: Python client smoke
run: python python/tests/test_python_client.py
- name: Python package install smoke
Expand All @@ -55,7 +55,7 @@ jobs:
- name: C++ client CMake smoke
shell: bash
run: |
cargo build -p smt-server
cargo build --locked -p smt-server
cd cpp
cmake -B build -DCMAKE_BUILD_TYPE=Debug
cmake --build build --config Debug
Expand Down
4 changes: 2 additions & 2 deletions .github/workflows/extended.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -26,8 +26,8 @@ jobs:
- name: Extended random circuit identities
env:
QFBVSMTRS_RANDOM_CIRCUIT_SAMPLES: "10000"
run: cargo test -p qfbvsmtrs --test random_circuits randomized_wide_circuit_identities_production_when_enabled
run: cargo test --locked -p qfbvsmtrs --test random_circuits randomized_wide_circuit_identities_production_when_enabled
- name: Extended random differential tests against z3
env:
QFBVSMTRS_DIFF_RANDOM: "1"
run: cargo test -p qfbvsmtrs --test differential_z3 differential_random_formulas_against_z3_production_when_enabled
run: cargo test --locked -p qfbvsmtrs --test differential_z3 differential_random_formulas_against_z3_production_when_enabled