Skip to content
CI

Merge branch 'main' into feature/log-processing-wip #2

Sign in to view logs

Merge branch 'main' into feature/log-processing-wip

Merge branch 'main' into feature/log-processing-wip #2

Triggered via push October 3, 2024 19:57
@xtremekforeverxtremekforever
pushed 5c1a976
feature/log-processing-wip
Status Failure
Total duration 6h 0m 25s
Artifacts –

ci.yml

on: push
Soundness Check
12s
Soundness Check
Compile Counter Example
2m 53s
Compile Counter Example
Matrix: Unit Test
Fit to window
Zoom out
Zoom in

Annotations

3 errors and 1 warning
Soundness Check
Process completed with exit code 1.
Unit Test (latest)
The job running on runner GitHub Actions 10 has exceeded the maximum execution time of 360 minutes.
Unit Test (latest)
The operation was canceled.
Unit Test (5.9)
Codecov: Failed to properly create commit: The process '/home/runner/work/_actions/codecov/codecov-action/v4/dist/codecov' failed with exit code 1