Skip to content
CI (Coq)

always' fixup #387

Sign in to view logs

always' fixup

always' fixup #387

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

coq.yml

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