Skip to content

feat: add support for Coq (#84) #229

feat: add support for Coq (#84)

feat: add support for Coq (#84) #229

Triggered via push August 11, 2024 01:51
Status Success
Total duration 33s
Artifacts

ci.yml

on: push
Fit to window
Zoom out
Zoom in