Skip to content
Coq

stop updating the tested branch #1349

Sign in to view logs

stop updating the tested branch

stop updating the tested branch #1349

Triggered via pull request April 18, 2024 17:45
@andres-erbsenandres-erbsen
opened #421
stop-updating-tested
Status Failure
Total duration 31s
Artifacts –

coq.yml

on: pull_request
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.