Build #1494
This run and associated checks have been archived and are scheduled for deletion.
Learn more about checks retention
ci-lib.yml
on: schedule
Build toml-idr with Idris latest
13s
Build filepath with Idris latest
17s
Bootstrap with micropack
21m 40s
Bootstrap with micropack-racket
41m 57s
Bootstrap with the shell script
20m 19s
Bootstrap with the shell script and racket
40m 30s
Build the lib with latest
50s
Annotations
2 errors and 7 warnings
Artifacts
Produced during runtime
Name | Size | |
---|---|---|
dependencies-for-latest
Expired
|
2.18 MB |
|