Actions: buzden/idris2-best-alternative
Actions
148 workflow runs
148 workflow runs
Alternative
to a separate dir
Build and test
#1:
Commit 923d820
pushed
by
buzden