[ derive ] Support printing derived gens with Idris representation #1513
buzdenci-deptycheck.yml
on: push
Prepare `pack`
5m 20s
Build the docs
14s
Matrix: Test the lib
Matrix: Build and test examples
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
built-deptycheck
|
165 MB |
|
|
built-thirdparties
|
108 MB |
|
|
pack-dir
|
53.3 MB |
|