Skip to content
CI (Coq, Windows)

[CI] Pin action steps that use setup-ocaml to ubuntu 22.04 #4639

Sign in to view logs

[CI] Pin action steps that use setup-ocaml to ubuntu 22.04

[CI] Pin action steps that use setup-ocaml to ubuntu 22.04 #4639

Triggered via pull request October 9, 2024 01:01
@JasonGrossJasonGross
opened #1971
ubuntu-22.04
Status Cancelled
Total duration 3m 3s
Artifacts –

coq-windows.yml

on: pull_request
windows
2m 36s
windows
test-standalone
0s
test-standalone
publish-standalone
0s
publish-standalone
windows-check-all
0s
windows-check-all
Fit to window
Zoom out
Zoom in

Annotations

3 errors
windows
Canceling since a higher priority waiting request for 'CI (Coq, Windows)-ubuntu-22.04' exists
windows
The operation was canceled.
windows-check-all
Process completed with exit code 1.