Skip to content

CI: version 8.19

CI: version 8.19 #2

Triggered via push June 12, 2024 07:49
Status Success
Total duration 14m 28s
Artifacts

coq_build.yml

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