Skip to content
Verify TLA+ specs (verisimdb)

fix(ci): reconcile the workflows with actions.lock (gh-actions-lock) … #65

Sign in to view logs

fix(ci): reconcile the workflows with actions.lock (gh-actions-lock) …

fix(ci): reconcile the workflows with actions.lock (gh-actions-lock) … #65

Triggered via push September 20, 2026 02:17
@hyperpolymathhyperpolymath
pushed 5369a08
main
Status Failure
Total duration 49m 19s
Artifacts –

verify-tlaplus.yml

on: push
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"