Skip to content
CI

Adapt to coq/coq#19757 (Coqargs is pure) #513

Sign in to view logs

Adapt to coq/coq#19757 (Coqargs is pure)

Adapt to coq/coq#19757 (Coqargs is pure) #513

Triggered via pull request October 25, 2024 11:29
@SkySkimmerSkySkimmer
opened #429
SkySkimmer:coqargs-pure
Status Failure
Total duration 12m 43s
Artifacts –

ci.yml

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

Annotations

4 errors
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.13.x, test, coq.dev)
Process completed with exit code 2.
build (4.14.x, test, true)
Process completed with exit code 2.