Verify TLA+ specs (verisimdb) · hyperpolymath/nextgen-databases@3dcab70

Triggered via pull request August 7, 2026 15:32

opened ⁠ 3dcab70

Status Startup failure

Total duration –

Artifacts –

This workflow graph cannot be shown

A graph will be generated the next time this workflow is run.

1 error

Invalid lockfile: .github/workflows/actions.lock#L1

The lockfile could not be validated. Regenerate it by running `gh actions-lock`.