Skip to content
TLA+ Consensus

chore(deps): bump the actions group with 14 updates (#98) #131

Sign in to view logs

chore(deps): bump the actions group with 14 updates (#98)

chore(deps): bump the actions group with 14 updates (#98) #131

Triggered via push September 13, 2026 10:22
@hyperpolymathhyperpolymath
pushed ade6aaf
main
Status Failure
Total duration 7s
Artifacts –

tla-consensus.yml

on: push
TLC model-check (BFT safety)
3s
TLC model-check (BFT safety)
Fit to window
Zoom out
Zoom in

Annotations

1 error
TLC model-check (BFT safety)
Process completed with exit code 1.