Skip to content
Verify TLA+ specs (verisimdb)

Verify TLA+ specs (verisimdb) #66

Sign in to view logs

Verify TLA+ specs (verisimdb)

Verify TLA+ specs (verisimdb) #66

Triggered via schedule September 21, 2026 04:41
@hyperpolymathhyperpolymath
⁠ e2aa1cc
main
Status Failure
Total duration 10s
Artifacts –

verify-tlaplus.yml

on: schedule
TLC model-check
6s
TLC model-check
Fit to window
Zoom out
Zoom in

Annotations

1 error, 1 warning, and 1 notice
TLC model-check
An error occurred trying to start process '/usr/bin/bash' with working directory '/home/runner/work/nextgen-databases/nextgen-databases/verisimdb/verification/proofs/tlaplus'. No such file or directory
TLC model-check
No files were found with the provided path: verisimdb/verification/proofs/tlaplus/*.log. No artifacts will be uploaded.
TLC model-check
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"