Skip to content
DepTyCheck

DepTyCheck #1435

Sign in to view logs

DepTyCheck

DepTyCheck #1435

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Prepare `pack`
1m 40s
Prepare `pack`
1m 40s
Build the docs
17s
Build the docs
17s
Build thirdparties
1m 24s
Build thirdparties
1m 24s
Build the lib
1m 25s
Build the lib
1m 25s
Aquire examples
3s
Aquire examples
3s
Aquire test sets
3s
Aquire test sets
3s
Build and test examples (pil-fun)
25m 22s
Build and test examples (pil-fun)
25m 22s
Build and test examples (pil-reg)
5m 44s
Build and test examples (pil-reg)
1m 56s
Build and test examples (sorted-list)
4m 8s
Build and test examples (sorted-list)
4m 8s
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 29s
Build and test examples (sorted-tree-naive)
11m 29s
Build and test examples (uniq-list)
7m 44s
Build and test examples (uniq-list)
7m 44s
Test the lib (derivation/core)
3m 36s
Test the lib (derivation/core)
3m 36s
Test the lib (derivation/distribution/dependent)
4m 43s
Test the lib (derivation/distribution/dependent)
4m 43s
Test the lib (derivation/distribution/list)
3m 5s
Test the lib (derivation/distribution/list)
3m 5s
Test the lib (derivation/distribution/nats)
2m 36s
Test the lib (derivation/distribution/nats)
2m 36s
Test the lib (derivation/distribution/vect)
6m 8s
Test the lib (derivation/distribution/vect)
6m 8s
Test the lib (derivation/infra)
5m 39s
Test the lib (derivation/infra)
5m 39s
Test the lib (derivation/inputvalidation)
1m 28s
Test the lib (derivation/inputvalidation)
1m 28s
Test the lib (derivation/least-effort/print/adt)
3m 0s
Test the lib (derivation/least-effort/print/adt)
3m 0s
Test the lib (derivation/least-effort/print/gadt)
4m 2s
Test the lib (derivation/least-effort/print/gadt)
4m 2s
Test the lib (derivation/least-effort/print/regression)
2m 29s
Test the lib (derivation/least-effort/print/regression)
2m 29s
Test the lib (derivation/least-effort/run/adt)
2m 33s
Test the lib (derivation/least-effort/run/adt)
2m 33s
Test the lib (derivation/least-effort/run/gadt)
3m 29s
Test the lib (derivation/least-effort/run/gadt)
3m 29s
Test the lib (derivation/least-effort/run/regression)
2m 51s
Test the lib (derivation/least-effort/run/regression)
2m 51s
Test the lib (derivation/utils/arg-deps)
1m 10s
Test the lib (derivation/utils/arg-deps)
1m 10s
Test the lib (derivation/utils/canonicsig)
1m 49s
Test the lib (derivation/utils/canonicsig)
1m 49s
Test the lib (derivation/utils/cons-analysis)
1m 14s
Test the lib (derivation/utils/cons-analysis)
1m 14s
Test the lib (derivation/utils/involved-types)
1m 14s
Test the lib (derivation/utils/involved-types)
1m 14s
Test the lib (derivation/utils/up-to-renaming-ttimp-eq)
1m 19s
Test the lib (derivation/utils/up-to-renaming-ttimp-eq)
1m 19s
Test the lib (docs)
1m 34s
Test the lib (docs)
1m 34s
Test the lib (lib/coverage)
1m 50s
Test the lib (lib/coverage)
1m 50s
Test the lib (lib/distribution/ap)
7m 14s
Test the lib (lib/distribution/ap)
7m 14s
Test the lib (lib/distribution/bind)
5m 41s
Test the lib (lib/distribution/bind)
5m 41s
Test the lib (lib/distribution/fin)
2m 5s
Test the lib (lib/distribution/fin)
2m 5s
Test the lib (lib/distribution/frequency)
2m 34s
Test the lib (lib/distribution/frequency)
2m 34s
Test the lib (lib/distribution/rec)
5m 51s
Test the lib (lib/distribution/rec)
5m 51s
Test the lib (lib/distribution/shallow)
1m 15s
Test the lib (lib/distribution/shallow)
1m 15s
Test the lib (lib/distribution/smoke)
2m 14s
Test the lib (lib/distribution/smoke)
2m 14s
Test the lib (lib/distribution/trivial)
1m 23s
Test the lib (lib/distribution/trivial)
1m 23s
Test the lib (lib/distribution/with)
2m 3s
Test the lib (lib/distribution/with)
2m 3s
Test the lib (lib/gen-monad)
1m 52s
Test the lib (lib/gen-monad)
1m 52s
5h 0m 44s