Coq proof synthesis plugin for VSCode #53
Triggered via pull request
November 26, 2024 22:27
spernsteiner
Status
Cancelled
Total duration
1m 28s
Artifacts
–
Annotations
2 errors
|
build (4.14.1, ubuntu-22.04)
Canceling since a higher priority waiting request for 'ci-CN Server CI-refs/pull/134/merge' exists
|
|
build (4.14.1, ubuntu-22.04)
The operation was canceled.
|