Skip to content
CI (Coq)

always' fixup #388

Sign in to view logs

always' fixup

always' fixup #388

Triggered via pull request April 3, 2024 16:53
@andres-erbsenandres-erbsen
synchronize #114
andres-erbsen:coquinductive-always
Status Success
Total duration 4m 24s
Artifacts –

coq.yml

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