Skip to content
CI

Merge pull request #428 from SkySkimmer/async-positive #512

Sign in to view logs

Merge pull request #428 from SkySkimmer/async-positive

Merge pull request #428 from SkySkimmer/async-positive #512

Triggered via push October 24, 2024 16:29
@SkySkimmerSkySkimmer
pushed 8dbcdb3
main
Status Failure
Total duration 12m 24s
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.13.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.