Skip to content
Nix CI for bundle coq-8.16

Update dependabot.yml to also update other branches #700

Sign in to view logs

Update dependabot.yml to also update other branches

Update dependabot.yml to also update other branches #700

Triggered via push July 5, 2023 13:22
@JasonGrossJasonGross
pushed f5967d8
coq-8.16
Status Failure
Total duration 1m 45s
Artifacts –

nix-action-coq-8.16-macos.yml

on: push
coq
1m 4s
coq
equations
0s
equations
metacoq
0s
metacoq
Fit to window
Zoom out
Zoom in

Annotations

1 error
coq
Process completed with exit code 150.