Skip to content

Actions: BTCDecoded/blvm-spec-lock

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
71 workflow runs
71 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Merge remote-tracking branch 'origin/main' CI #68: Commit ae5a234 pushed by secsovereign
9m 16s main
main
9m 16s
Merge remote-tracking branch 'origin/main' CI #67: Commit c1a787c pushed by secsovereign
2m 21s main
main
2m 21s
Merge remote-tracking branch 'origin/main' CI #66: Commit 044bdb7 pushed by secsovereign
2m 18s main
main
2m 18s
fix(lock): surface a missing formula id instead of dropping enrichment CI #65: Commit fa2ea9a pushed by secsovereign
8m 7s main
main
8m 7s
Merge remote-tracking branch 'origin/main' CI #64: Commit 2e43a11 pushed by secsovereign
3m 46s main
main
3m 46s
Merge remote-tracking branch 'origin/main' CI #63: Commit be46342 pushed by secsovereign
4m 51s main
main
4m 51s
fix(lock): pass-through #[spec_locked] at compile time (#1) CI #62: Commit be8238c pushed by secsovereign
3m 17s main
main
3m 17s
fix(lock): pass-through #[spec_locked] at compile time CI #61: Pull request #1 synchronize by secsovereign
2m 6s fix/spec-locked-compile-passthrough
fix/spec-locked-compile-passthrough
2m 6s
fix(lock): pass-through #[spec_locked] at compile time CI #60: Pull request #1 synchronize by secsovereign
10m 12s fix/spec-locked-compile-passthrough
fix/spec-locked-compile-passthrough
10m 12s
fix(lock): pass-through #[spec_locked] at compile time CI #59: Pull request #1 opened by secsovereign
13m 23s fix/spec-locked-compile-passthrough
fix/spec-locked-compile-passthrough
13m 23s
fix(lock): treat shr as concrete; unroll constant-bound for CI #58: Commit 5522c61 pushed by secsovereign
2m 0s main
main
2m 0s
Merge origin/main (0.1.32 version bump) into dens-keep main. CI #57: Commit 023a0d1 pushed by secsovereign
3m 8s main
main
3m 8s
docs: remove links to workspace-local planning docs CI #56: Commit 193a5a8 pushed by secsovereign
3m 20s main
main
3m 20s
chore: MSRV 1.85, edition 2024, and clippy fixes CI #55: Commit 9bac926 pushed by secsovereign
3m 53s main
main
3m 53s
fix(enrich): auto-inject trivially-true contract for spec sections wi… CI #54: Commit 1b40a32 pushed by secsovereign
3m 8s main
main
3m 8s
ci: disable scheduled fuzz harness builds CI #53: Commit 2bbaa08 pushed by secsovereign
3m 15s main
main
3m 15s
Fuzz harness (weekly build) Fuzz harness (weekly build) #3: Manually run by secsovereign
30s main
main
30s
fix(ci): commit fuzz/Cargo.lock for weekly --locked build CI #52: Commit 041607d pushed by secsovereign
3m 7s main
main
3m 7s
Fuzz harness (weekly build) Fuzz harness (weekly build) #2: Scheduled
7s main
main
7s
style: apply rustfmt after verify cardinality fix CI #51: Commit d41590e pushed by secsovereign
2m 56s main
main
2m 56s
fix(verify): |result(payload)| == 4 → result.len() (§10.1.1 Calculate… CI #50: Commit 66e60a6 pushed by secsovereign
3m 15s main
main
3m 15s
Fuzz harness (weekly build) Fuzz harness (weekly build) #1: Scheduled
9s main
main
9s
feat(spec-lock): close verification pipeline — enrich, translator, ca… CI #49: Commit 83cd751 pushed by secsovereign
6m 14s main
main
6m 14s
feat(spec-lock): close verification pipeline — enrich, translator, ca… CI #48: Commit 7e26396 pushed by secsovereign
37s main
main
37s
fix(verify): extend vacuous-SAT + translation-gap demotion CI #47: Commit fc8b1dd pushed by secsovereign
2m 6s main
main
2m 6s