Skip to content
CI (Coq)

always' fixup #386

Sign in to view logs

always' fixup

always' fixup #386

Triggered via pull request April 2, 2024 21:19
@andres-erbsenandres-erbsen
synchronize #114
andres-erbsen:coquinductive-always
Status Success
Total duration 5m 4s
Artifacts –

coq.yml

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