Skip to content

Coq latest

Coq latest #265

Triggered via schedule November 18, 2024 02:20
Status Success
Total duration 9m 53s
Artifacts

ci.yml

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