Skip to content
Build

Use external libraries for the appropriate stuff #524

Sign in to view logs

Use external libraries for the appropriate stuff

Use external libraries for the appropriate stuff #524

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Build stefan-hoeck/idris2-hedgehog with Idris2 latest
1m 8s
1m 8s