Skip to content
Kani CI M1

Switch MacOS CI jobs to macos-13 (#2987) #86

Sign in to view logs

Switch MacOS CI jobs to macos-13 (#2987)

Switch MacOS CI jobs to macos-13 (#2987) #86

Triggered via push January 31, 2024 22:13
@tautschnigtautschnig
pushed 71c8aca
main
Status Failure
Total duration 6h 9m 10s
Artifacts –

kani-m1.yml

on: push
regression
0s
regression
Fit to window
Zoom out
Zoom in

Annotations

1 error and 1 warning
regression
The job running on runner GitHub Actions 240 has exceeded the maximum execution time of 360 minutes.
regression
Runner GitHub Actions 240 did not respond to a cancelation request with 00:05:00.