Skip to content
Build and test

[ meta ] Put utils for Alternative to a separate dir #1

Sign in to view logs

[ meta ] Put utils for Alternative to a separate dir

[ meta ] Put utils for Alternative to a separate dir #1

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Acquire matrix of upstream modes
21s
Build and test `buzden/idris2-best-alternative`
31s
52s