Skip to content

Coq 8.20.0 is supported #31

Coq 8.20.0 is supported

Coq 8.20.0 is supported #31

Triggered via push September 11, 2024 08:30
Status Success
Total duration 6m 14s
Artifacts

latest.yml

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