fix(ci): repair the Coq gate on main — coqc not found (#711) #1369
hyperpolymathci.yml
on: push
build
6m 28s
lint
6m 28s
bench-visibility
6m 28s
coverage-visibility
6m 28s
vscode-smoke
6m 28s
migration-assistant
6m 29s
Annotations
7 errors
|
build
Canceling since a higher priority waiting request for CI-refs/heads/main exists
|
|
vscode-smoke
Canceling since a higher priority waiting request for CI-refs/heads/main exists
|
|
CI
Canceling since a higher priority waiting request for CI-refs/heads/main exists
|
|
lint
Canceling since a higher priority waiting request for CI-refs/heads/main exists
|
|
bench-visibility
Canceling since a higher priority waiting request for CI-refs/heads/main exists
|
|
migration-assistant
Canceling since a higher priority waiting request for CI-refs/heads/main exists
|
|
coverage-visibility
Canceling since a higher priority waiting request for CI-refs/heads/main exists
|