Skip to content
Coq

Consolidate =* and =*> #1097

Sign in to view logs

Consolidate =* and =*>

Consolidate =* and =*> #1097

Triggered via pull request June 20, 2023 18:15
@andres-erbsenandres-erbsen
opened #353
andres-erbsen:consolidate-sepeq
Status Failure
Total duration 3m 23s
Artifacts –
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

coq.yml

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

Annotations

2 errors
build (master)
Process completed with exit code 2.
build (8.16.0)
Process completed with exit code 2.