Skip to content

Merge pull request #801 from mkurz/adjust_mima #25

Merge pull request #801 from mkurz/adjust_mima

Merge pull request #801 from mkurz/adjust_mima #25

Triggered via push September 22, 2023 19:09
Status Failure
Total duration 6h 0m 13s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention
Submit dependencies to GitHub
6h 0m
Submit dependencies to GitHub
Fit to window
Zoom out
Zoom in

Annotations

2 errors
Submit dependencies to GitHub
The job running on runner GitHub Actions 4 has exceeded the maximum execution time of 360 minutes.
Submit dependencies to GitHub
The operation was canceled.