Skip to content
coqchk

Fix? (CI) #75

Sign in to view logs

Fix? (CI)

Fix? (CI) #75

Triggered via push September 10, 2023 21:09
@k32k32
pushed 7defc16
ci
Status Success
Total duration 3m 55s
Artifacts –

coqchk.yml

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