Idris2 pretty printer initial support #1664
ci-deptycheck.yml
on: pull_request
Prepare `pack`
5m 25s
Build the docs
16s
Matrix: Test the lib
Matrix: Build and test examples
Artifacts
Produced during runtime
Name | Size | |
---|---|---|
built-deptycheck
|
166 MB |
|
built-thirdparties
|
109 MB |
|
pack-dir
|
53.6 MB |
|