docs: align database language identities and implementation evidence #52
hyperpolymathverify-tlaplus.yml
on: pull_request
TLC model-check
6s
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.
|