Build #1576
ci-lib.yml
on: schedule
Build toml-idr with Idris latest
20s
Build filepath with Idris latest
16s
Bootstrap with micropack
14m 20s
Bootstrap with micropack-racket
26m 5s
Bootstrap with the shell script
16m 38s
Bootstrap with the shell script and racket
27m 24s
Build the lib with latest
46s
Artifacts
Produced during runtime
Name | Size | |
---|---|---|
built-filepath
Expired
|
117 KB |
|
built-toml
Expired
|
144 KB |
|