modifies
Clauses for Function Contracts
#5606
Triggered via pull request
November 3, 2023 19:08
Status
Cancelled
Total duration
36m 32s
Artifacts
–
kani.yml
on: pull_request
write-json-symtab-regression
15m 33s
benchcomp-tests
5m 18s
perf
36m 21s
bookrunner
29m 26s
Matrix: regression
Annotations
10 errors
regression (macos-12)
The hosted runner encountered an error while running your job. (Error Type: Failure).
|
regression (macos-12)
GitHub Actions has encountered an internal error when running your job.
|
regression (ubuntu-22.04)
RPC failed; HTTP 404 curl 22 The requested URL returned error: 404
|
regression (ubuntu-22.04)
expected 'packfile'
|
regression (ubuntu-22.04)
Process completed with exit code 1.
|
regression (ubuntu-20.04)
repository 'https://github.com/model-checking/kani/' not found
|
regression (ubuntu-20.04)
Process completed with exit code 1.
|
write-json-symtab-regression
Process completed with exit code 1.
|
write-json-symtab-regression
repository 'https://github.com/model-checking/kani/' not found
|
bookrunner
repository 'https://github.com/model-checking/kani/' not found
|