Skip to content
CI

Merge pull request #429 from SkySkimmer/coqargs-pure #514

Sign in to view logs

Merge pull request #429 from SkySkimmer/coqargs-pure

Merge pull request #429 from SkySkimmer/coqargs-pure #514

Triggered via push October 30, 2024 13:02
@SkySkimmerSkySkimmer
pushed a86129f
main
Status Failure
Total duration 12m 35s
Artifacts –

ci.yml

on: push
Matrix: build
Fit to window
Zoom out
Zoom in

Annotations

4 errors
build (4.13.x, test, coq.dev)
Process completed with exit code 2.
build (4.14.x, test, coq.dev)
Process completed with exit code 2.
build (4.12.x, test, coq.dev)
Process completed with exit code 2.
build (4.14.x, test, true)
Process completed with exit code 2.