Skip to content
CI (Coq, Windows)

Create dependabot-automerge.yml #4373

Sign in to view logs

Create dependabot-automerge.yml

Create dependabot-automerge.yml #4373

Triggered via pull request April 13, 2024 15:08
@JasonGrossJasonGross
opened #1861
dependabot-automerge
Status Cancelled
Total duration 18m 41s
Artifacts –

coq-windows.yml

on: pull_request
windows
4m 24s
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.