Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
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
6 changes: 3 additions & 3 deletions .github/workflows/tbtc-signer-formal.yml
Original file line number Diff line number Diff line change
Expand Up @@ -34,12 +34,12 @@ jobs:
run: cargo fmt --manifest-path pkg/tbtc/signer/Cargo.toml -- --check

- name: Run clippy
run: cargo clippy --manifest-path pkg/tbtc/signer/Cargo.toml --all-targets -- -D warnings
run: cargo clippy --locked --manifest-path pkg/tbtc/signer/Cargo.toml --all-targets -- -D warnings

- name: Run signer tests
env:
TBTC_SIGNER_STATE_PATH: /tmp/tbtc-signer-ci-state-${{ github.run_id }}-${{ github.run_attempt }}.json
run: cargo test --manifest-path pkg/tbtc/signer/Cargo.toml
run: cargo test --locked --manifest-path pkg/tbtc/signer/Cargo.toml

signer-dependency-audit:
name: Signer dependency audit
Expand Down Expand Up @@ -74,7 +74,7 @@ jobs:
# the formal-invariant test cases run (faster + clearer signal
# than the full suite). Matches the convention used in the
# source monorepo's ci-formal-verification.yml.
run: cargo test --manifest-path pkg/tbtc/signer/Cargo.toml formal_verification_
run: cargo test --locked --manifest-path pkg/tbtc/signer/Cargo.toml formal_verification_

tla-model-checks:
name: TLA model checks
Expand Down
4 changes: 3 additions & 1 deletion pkg/tbtc/signer/build.sh
Original file line number Diff line number Diff line change
Expand Up @@ -4,4 +4,6 @@ set -euo pipefail
SCRIPT_DIR="$(cd "$(dirname "${BASH_SOURCE[0]}")" && pwd)"
cd "$SCRIPT_DIR"

cargo build --release
# --locked: build strictly against the committed Cargo.lock so a release
# binary is never produced from an unaudited, re-resolved dependency set.
cargo build --release --locked
Loading