Skip to content

Coq latest

Coq latest #252

Triggered via schedule September 2, 2024 02:06
Status Success
Total duration 9m 24s
Artifacts

ci.yml

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