Skip to content
Run SMTChecker

Run SMTChecker #11

Sign in to view logs

Run SMTChecker

Run SMTChecker #11

Manually triggered September 17, 2023 10:27
@PaulRBergPaulRBerg
⁠ 2705399
2.1
Status Failure
Total duration 6h 0m 41s
Artifacts –

run-smtchecker.yml

on: workflow_dispatch
run-smtchecker
6h 0m
run-smtchecker
Fit to window
Zoom out
Zoom in

Annotations

2 errors
run-smtchecker
The job running on runner GitHub Actions 2 has exceeded the maximum execution time of 360 minutes.
run-smtchecker
The operation was canceled.