[ ci ] Bump versions in GH CI #427
Triggered via pull request
February 5, 2024 11:38
Status
Cancelled
Total duration
3m 33s
Artifacts
–
Annotations
4 errors
Build and test `buzden/idris2-coop`
Canceling since a higher priority waiting request for 'Build and test@refs/pull/49/merge' exists
|
Build and test `buzden/idris2-coop`
The operation was canceled.
|
Build and test `buzden/idris2-coop`
Canceling since a higher priority waiting request for 'Build and test@refs/pull/49/merge' exists
|
Build and test `buzden/idris2-coop`
The operation was canceled.
|