Skip to content
CI (Coq)

always' fixup #385

Sign in to view logs

always' fixup

always' fixup #385

Triggered via pull request April 2, 2024 21:16
@andres-erbsenandres-erbsen
opened #114
andres-erbsen:coquinductive-always
Status Success
Total duration 1m 40s
Artifacts –

coq.yml

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