Skip to content
Build

[ feature ] Add the extra-args option (#270) #1498

Sign in to view logs

[ feature ] Add the extra-args option (#270)

[ feature ] Add the extra-args option (#270) #1498

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Build filepath with Idris latest
16s
Bootstrap with micropack-racket
44m 14s
Bootstrap with micropack
21m 47s
Bootstrap with the shell script
20m 45s
Bootstrap with the shell script and racket
39m 26s
Build toml-idr with Idris latest
12s
Build the lib with latest
56s
2h 7m 36s