Skip to content
Back to pull request #1939

Bump ocaml/setup-ocaml from 2 to 3 #4607

Sign in to view logs

Bump ocaml/setup-ocaml from 2 to 3

Bump ocaml/setup-ocaml from 2 to 3 #4607

Triggered via pull request September 20, 2024 00:28
@JasonGrossJasonGross
synchronize #1939
dependabot/github_actions/ocaml/setup-ocaml-3
Status Cancelled
Total duration 6h 7m 53s
Artifacts –

coq-windows.yml

on: pull_request
windows
28s
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
The run was canceled by @JasonGross.
windows
The operation was canceled.
windows-check-all
Process completed with exit code 1.