Skip to content
DepTyCheck

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

Sign in to view logs

[ derive ] Support printing derived gens with Idris representation

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

Triggered via pull request August 31, 2024 10:45
@buzdenbuzden
opened #190
print-derivator-in-idris-too
Status Cancelled
Total duration 16m 4s
Artifacts 3

ci-deptycheck.yml

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

Annotations

18 errors
Test the lib (derivation/least-effort/print/regression)
Process completed with exit code 1.
Test the lib (derivation/least-effort/print/adt)
Process completed with exit code 1.
Build and test examples (sorted-list)
Process completed with exit code 1.
Test the lib (derivation/least-effort/print/gadt)
Process completed with exit code 1.
Test the lib (derivation/infra)
Process completed with exit code 1.
Build and test examples (covering-seq)
Process completed with exit code 1.
Test the lib (lib/distribution/ap)
Canceling since a higher priority waiting request for 'DepTyCheck@refs/pull/190/merge' exists
Test the lib (lib/distribution/ap)
The operation was canceled.
Build and test examples (sorted-tree-naive)
Canceling since a higher priority waiting request for 'DepTyCheck@refs/pull/190/merge' exists
Build and test examples (sorted-tree-naive)
The operation was canceled.
Build and test examples (pil-fun)
Canceling since a higher priority waiting request for 'DepTyCheck@refs/pull/190/merge' exists
Build and test examples (pil-fun)
The operation was canceled.
Test the lib (lib/distribution/bind)
Canceling since a higher priority waiting request for 'DepTyCheck@refs/pull/190/merge' exists
Test the lib (lib/distribution/bind)
The operation was canceled.
Build and test examples (uniq-list)
Canceling since a higher priority waiting request for 'DepTyCheck@refs/pull/190/merge' exists
Build and test examples (uniq-list)
The operation was canceled.
Test the lib (lib/distribution/rec)
Canceling since a higher priority waiting request for 'DepTyCheck@refs/pull/190/merge' exists
Test the lib (lib/distribution/rec)
The operation was canceled.

Artifacts

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