Repository navigation
chore(ci): SPDX headers on line 1 and Actions lockfile minted #31
hyperpolymathverify-tlaplus.yml
on: pull_request
TLC model-check
9s
Annotations
1 error and 1 warning
|
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.
|