Actions: buzden/idris2-golden-runner-helper
Actions
Showing runs from all workflows
141 workflow run results
141 workflow run results
BaseTestsDir
interface
Lint
#18:
Commit e0be14e
pushed
by
buzden
BaseTestsDir
interface
Build and test
#261:
Commit e0be14e
pushed
by
buzden
BaseTestsDir
interface
Build and test
#254:
Pull request #11
opened
by
buzden
BaseTestsDir
interface
Lint
#17:
Pull request #11
opened
by
buzden