Skip to content
Coq

stop updating the tested branch (#421) #1350

Sign in to view logs

stop updating the tested branch (#421)

stop updating the tested branch (#421) #1350

Triggered via push April 18, 2024 17:48
@andres-erbsenandres-erbsen
pushed e059c0d
master
Status Failure
Total duration 28s
Artifacts –

coq.yml

on: push
Matrix: build
coq-check-all
0s
coq-check-all
Fit to window
Zoom out
Zoom in

Annotations

3 errors
build (8.18.0)
Process completed with exit code 1.
build (master)
Process completed with exit code 1.
coq-check-all
Process completed with exit code 1.