Skip to content

Support Coq 8.19.2

Support Coq 8.19.2 #24

Triggered via push August 30, 2024 14:20
Status Success
Total duration 6m 29s
Artifacts

latest.yml

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