Skip to content

[ derive ] Support printing derived gens with Idris representation #1512

[ derive ] Support printing derived gens with Idris representation

[ derive ] Support printing derived gens with Idris representation #1512

Triggered via pull request August 31, 2024 11:01
Status Success
Total duration 39m 18s
Artifacts 3

ci-deptycheck.yml

on: pull_request
Prepare `pack`
5m 4s
Prepare `pack`
Build the docs
14s
Build the docs
Build thirdparties
1m 45s
Build thirdparties
Acquire test sets
2s
Acquire test sets
Acquire examples
5s
Acquire examples
Matrix: Test the lib
Matrix: Build and test examples
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
built-deptycheck
165 MB
built-thirdparties
108 MB
pack-dir
53.3 MB