5247e40659
The default timeout for a job in GitHub Actions is 6 hours, which is both too long, but more importantly, when reached the job is 'cancelled' instead of 'failed'. Use the new `--timeout` option on `rtlmeter run` instead to add a 60 minute timeout to compile and execute steps. (This is ~3x longer than recent worst runs in the CI) |
||
|---|---|---|
| .. | ||
| ISSUE_TEMPLATE | ||
| workflows | ||
| PULL_REQUEST_TEMPLATE.md | ||
| dependabot.yml | ||
| labels.toml | ||