Skip to content
DepTyCheck

DepTyCheck #1394

Sign in to view logs

DepTyCheck

DepTyCheck #1394

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Build the docs
14s
Build the docs
14s
Prepare `pack`
2m 2s
Prepare `pack`
2m 2s
Build thirdparties
1m 29s
Build thirdparties
1m 29s
Build the lib
1m 54s
Build the lib
1m 54s
Aquire test sets
5s
Aquire test sets
5s
Aquire examples
5s
Aquire examples
5s
Test the lib (derivation/core)
3m 23s
Test the lib (derivation/core)
3m 23s
Test the lib (derivation/distribution/dependent)
4m 58s
Test the lib (derivation/distribution/dependent)
4m 58s
Test the lib (derivation/distribution/list)
2m 45s
Test the lib (derivation/distribution/list)
2m 45s
Test the lib (derivation/distribution/nats)
1m 58s
Test the lib (derivation/distribution/nats)
1m 58s
Test the lib (derivation/distribution/vect)
5m 46s
Test the lib (derivation/distribution/vect)
5m 46s
Build and test examples (pil-fun)
24m 24s
Build and test examples (pil-fun)
24m 24s
Test the lib (derivation/infra)
4m 52s
Test the lib (derivation/infra)
4m 52s
Build and test examples (pil-reg)
1m 14s
Build and test examples (pil-reg)
1m 14s
Test the lib (derivation/inputvalidation)
59s
Test the lib (derivation/inputvalidation)
59s
Build and test examples (sorted-list)
3m 46s
Build and test examples (sorted-list)
3m 46s
Test the lib (derivation/least-effort/print/adt)
2m 26s
Test the lib (derivation/least-effort/print/adt)
2m 26s
Test the lib (derivation/least-effort/print/gadt)
3m 35s
Test the lib (derivation/least-effort/print/gadt)
3m 35s
Build and test examples (sorted-tree-indexed)
4m 49s
Build and test examples (sorted-tree-indexed)
4m 49s
Test the lib (derivation/least-effort/print/regression)
2m 8s
Test the lib (derivation/least-effort/print/regression)
2m 8s
Build and test examples (sorted-tree-naive)
11m 13s
Build and test examples (sorted-tree-naive)
11m 13s
Test the lib (derivation/least-effort/run/adt)
2m 19s
Test the lib (derivation/least-effort/run/adt)
2m 19s
Build and test examples (uniq-list)
7m 25s
Build and test examples (uniq-list)
7m 25s
Test the lib (derivation/least-effort/run/gadt)
2m 57s
Test the lib (derivation/least-effort/run/gadt)
2m 57s
Test the lib (derivation/least-effort/run/regression)
2m 12s
Test the lib (derivation/least-effort/run/regression)
2m 12s
Test the lib (derivation/utils/arg-deps)
1m 4s
Test the lib (derivation/utils/arg-deps)
1m 4s
Test the lib (derivation/utils/canonicsig)
59s
Test the lib (derivation/utils/canonicsig)
59s
Test the lib (derivation/utils/cons-analysis)
5m 55s
Test the lib (derivation/utils/cons-analysis)
1m 12s
Test the lib (derivation/utils/involved-types)
1m 0s
Test the lib (derivation/utils/involved-types)
1m 0s
Test the lib (derivation/utils/up-to-renaming-ttimp-eq)
1m 25s
Test the lib (derivation/utils/up-to-renaming-ttimp-eq)
1m 25s
Test the lib (docs)
1m 52s
Test the lib (docs)
1m 52s
Test the lib (lib/coverage)
1m 36s
Test the lib (lib/coverage)
1m 36s
Test the lib (lib/distribution/ap)
6m 54s
Test the lib (lib/distribution/ap)
6m 54s
Test the lib (lib/distribution/bind)
5m 15s
Test the lib (lib/distribution/bind)
5m 15s
Test the lib (lib/distribution/fin)
1m 48s
Test the lib (lib/distribution/fin)
1m 48s
Test the lib (lib/distribution/frequency)
2m 0s
Test the lib (lib/distribution/frequency)
2m 0s
Test the lib (lib/distribution/rec)
5m 29s
Test the lib (lib/distribution/rec)
5m 29s
Test the lib (lib/distribution/shallow)
1m 30s
Test the lib (lib/distribution/shallow)
1m 30s
Test the lib (lib/distribution/smoke)
2m 26s
Test the lib (lib/distribution/smoke)
2m 26s
Test the lib (lib/distribution/trivial)
55s
Test the lib (lib/distribution/trivial)
55s
Test the lib (lib/distribution/with)
1m 11s
Test the lib (lib/distribution/with)
1m 11s
Test the lib (lib/gen-monad)
1m 33s
Test the lib (lib/gen-monad)
1m 33s
4h 38m 57s