Skip to content
CI (Coq)

require coq 8.18 #384

Sign in to view logs

require coq 8.18

require coq 8.18 #384

Triggered via push April 2, 2024 19:57
@andres-erbsenandres-erbsen
pushed 88b1403
master
Status Success
Total duration 6m 56s
Artifacts –

coq.yml

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