Skip to content

Coq latest

Coq latest #253

Triggered via schedule September 9, 2024 02:08
Status Success
Total duration 9m 18s
Artifacts

ci.yml

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