Actions: idris-lang/Idris2
Actions
199 workflow run results
199 workflow run results
WellFounded
for Sufficient
Sphinx
#3365:
Commit 5fd5b1e
pushed
by
gallais