Skip to content
DepTyCheck

DepTyCheck #1545

Sign in to view logs

DepTyCheck

DepTyCheck #1545

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Build the docs
14s
Build the docs
14s
Prepare `pack`
1m 33s
Prepare `pack`
1m 33s
Build thirdparties
1m 35s
Build thirdparties
1m 35s
Build the lib
1m 18s
Build the lib
1m 18s
Acquire test sets
8s
Acquire test sets
8s
Acquire examples
4s
Acquire examples
4s
Build and test examples (covering-seq)
7m 56s
Build and test examples (covering-seq)
7m 56s
Build and test examples (pil-fun)
27m 27s
Build and test examples (pil-fun)
27m 27s
Build and test examples (pil-reg)
1m 35s
Build and test examples (pil-reg)
1m 35s
Build and test examples (sorted-list)
4m 25s
Build and test examples (sorted-list)
4m 25s
Build and test examples (sorted-tree-indexed)
4m 56s
Build and test examples (sorted-tree-indexed)
4m 56s
Build and test examples (sorted-tree-naive)
11m 36s
Build and test examples (sorted-tree-naive)
11m 36s
Build and test examples (uniq-list)
7m 44s
Build and test examples (uniq-list)
7m 44s
Test the lib (derivation/core)
8m 21s
Test the lib (derivation/core)
4m 50s
Test the lib (derivation/distribution/dependent)
4m 56s
Test the lib (derivation/distribution/dependent)
4m 56s
Test the lib (derivation/distribution/list)
3m 6s
Test the lib (derivation/distribution/list)
3m 6s
Test the lib (derivation/distribution/nats)
2m 15s
Test the lib (derivation/distribution/nats)
2m 15s
Test the lib (derivation/distribution/vect)
5m 49s
Test the lib (derivation/distribution/vect)
5m 49s
Test the lib (derivation/infra)
5m 13s
Test the lib (derivation/infra)
5m 13s
Test the lib (derivation/inputvalidation)
1m 20s
Test the lib (derivation/inputvalidation)
1m 20s
Test the lib (derivation/least-effort/print/adt)
3m 50s
Test the lib (derivation/least-effort/print/adt)
3m 50s
Test the lib (derivation/least-effort/print/gadt)
4m 58s
Test the lib (derivation/least-effort/print/gadt)
4m 58s
Test the lib (derivation/least-effort/print/regression)
2m 58s
Test the lib (derivation/least-effort/print/regression)
2m 58s
Test the lib (derivation/least-effort/run/adt)
3m 22s
Test the lib (derivation/least-effort/run/adt)
3m 22s
Test the lib (derivation/least-effort/run/gadt)
3m 48s
Test the lib (derivation/least-effort/run/gadt)
3m 48s
Test the lib (derivation/least-effort/run/regression)
2m 32s
Test the lib (derivation/least-effort/run/regression)
2m 32s
Test the lib (derivation/utils/arg-deps)
1m 15s
Test the lib (derivation/utils/arg-deps)
1m 15s
Test the lib (derivation/utils/canonicsig)
1m 14s
Test the lib (derivation/utils/canonicsig)
1m 14s
Test the lib (derivation/utils/cons-analysis)
1m 19s
Test the lib (derivation/utils/cons-analysis)
1m 19s
Test the lib (derivation/utils/involved-types)
1m 15s
Test the lib (derivation/utils/involved-types)
1m 15s
Test the lib (derivation/utils/up-to-renaming-ttimp-eq)
1m 44s
Test the lib (derivation/utils/up-to-renaming-ttimp-eq)
1m 44s
Test the lib (docs)
1m 32s
Test the lib (docs)
1m 32s
Test the lib (lib/coverage)
2m 5s
Test the lib (lib/coverage)
2m 5s
Test the lib (lib/distribution/ap)
7m 8s
Test the lib (lib/distribution/ap)
7m 8s
Test the lib (lib/distribution/bind)
5m 34s
Test the lib (lib/distribution/bind)
5m 34s
Test the lib (lib/distribution/fin)
1m 33s
Test the lib (lib/distribution/fin)
1m 33s
Test the lib (lib/distribution/frequency)
2m 40s
Test the lib (lib/distribution/frequency)
2m 40s
Test the lib (lib/distribution/rec)
6m 19s
Test the lib (lib/distribution/rec)
6m 19s
Test the lib (lib/distribution/shallow)
1m 52s
Test the lib (lib/distribution/shallow)
1m 52s
Test the lib (lib/distribution/smoke)
2m 20s
Test the lib (lib/distribution/smoke)
2m 20s
Test the lib (lib/distribution/trivial)
1m 25s
Test the lib (lib/distribution/trivial)
1m 25s
Test the lib (lib/distribution/with)
1m 36s
Test the lib (lib/distribution/with)
1m 36s
Test the lib (lib/gen-monad)
1m 56s
Test the lib (lib/gen-monad)
1m 56s
Test the lib (lib/john-hughes)
4m 3s
Test the lib (lib/john-hughes)
4m 3s
5h 36m 7s