Skip to content

[README] Point to coq-community issue #515

[README] Point to coq-community issue

[README] Point to coq-community issue #515

Triggered via push November 13, 2024 11:15
Status Failure
Total duration 16m 53s
Artifacts

ci.yml

on: push
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.14.x, test, true)
Process completed with exit code 2.
build (4.13.x, test, coq.dev)
Process completed with exit code 2.
build (4.12.x, test, coq.dev)
Process completed with exit code 2.