Skip to content

Better handle deps in toCoqType #316

Better handle deps in toCoqType

Better handle deps in toCoqType #316

Triggered via push February 7, 2025 18:08
Status Success
Total duration 24s
Artifacts

build.yml

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