Update dependency: deps/k_release #11387
Triggered via pull request
January 22, 2026 00:42
jberthold
Status
Failure
Total duration
2h 18m 28s
Artifacts
–
test-pr.yml
on: pull_request
Code Quality Checks
20s
Matrix: Nix
Matrix: test-prove
Annotations
1 error
|
Proofs: Rules (booster-dev)
Process completed with exit code 2.
|