Skip to content
DepTyCheck

DepTyCheck #1654

Sign in to view logs

DepTyCheck

DepTyCheck #1654

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Build the docs
13s
Build the docs
13s
Prepare `pack`
1m 42s
Prepare `pack`
1m 42s
Build thirdparties
2m 3s
Build thirdparties
2m 3s
Build the lib
1m 52s
Build the lib
1m 52s
Acquire examples
6s
Acquire examples
6s
Acquire test sets
2s
Acquire test sets
2s
Test the lib (derivation/core)
3m 59s
Test the lib (derivation/core)
3m 59s
Test the lib (derivation/distribution/dependent)
5m 2s
Test the lib (derivation/distribution/dependent)
5m 2s
Test the lib (derivation/distribution/list)
2m 39s
Test the lib (derivation/distribution/list)
2m 39s
Test the lib (derivation/distribution/nats)
2m 43s
Test the lib (derivation/distribution/nats)
2m 43s
Test the lib (derivation/distribution/vect)
6m 13s
Test the lib (derivation/distribution/vect)
6m 13s
Test the lib (derivation/infra)
5m 33s
Test the lib (derivation/infra)
5m 33s
Test the lib (derivation/inputvalidation)
1m 21s
Test the lib (derivation/inputvalidation)
1m 21s
Test the lib (derivation/least-effort/print/adt)
2m 36s
Test the lib (derivation/least-effort/print/adt)
2m 36s
Test the lib (derivation/least-effort/print/gadt)
4m 15s
Test the lib (derivation/least-effort/print/gadt)
4m 15s
Test the lib (derivation/least-effort/print/regression)
3m 7s
Test the lib (derivation/least-effort/print/regression)
3m 7s
Test the lib (derivation/least-effort/run/adt)
2m 17s
Test the lib (derivation/least-effort/run/adt)
2m 17s
Test the lib (derivation/least-effort/run/gadt)
3m 21s
Test the lib (derivation/least-effort/run/gadt)
3m 21s
Test the lib (derivation/least-effort/run/regression)
2m 45s
Test the lib (derivation/least-effort/run/regression)
2m 45s
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 15s
Test the lib (derivation/utils/canonicsig)
1m 15s
Test the lib (derivation/utils/cons-analysis)
1m 53s
Test the lib (derivation/utils/cons-analysis)
1m 53s
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 45s
Test the lib (derivation/utils/up-to-renaming-ttimp-eq)
1m 45s
Test the lib (docs)
1m 35s
Test the lib (docs)
1m 35s
Test the lib (lib/coverage)
1m 58s
Test the lib (lib/coverage)
1m 58s
Test the lib (lib/distribution/ap)
7m 5s
Test the lib (lib/distribution/ap)
7m 5s
Test the lib (lib/distribution/bind)
5m 35s
Test the lib (lib/distribution/bind)
5m 35s
Test the lib (lib/distribution/fin)
1m 33s
Test the lib (lib/distribution/fin)
1m 33s
Test the lib (lib/distribution/frequency)
2m 12s
Test the lib (lib/distribution/frequency)
2m 12s
Test the lib (lib/distribution/rec)
5m 43s
Test the lib (lib/distribution/rec)
5m 43s
Test the lib (lib/distribution/shallow)
1m 17s
Test the lib (lib/distribution/shallow)
1m 17s
Test the lib (lib/distribution/smoke)
2m 49s
Test the lib (lib/distribution/smoke)
2m 49s
Test the lib (lib/distribution/trivial)
1m 13s
Test the lib (lib/distribution/trivial)
1m 13s
Test the lib (lib/distribution/with)
1m 38s
Test the lib (lib/distribution/with)
1m 38s
Test the lib (lib/gen-monad)
2m 7s
Test the lib (lib/gen-monad)
2m 7s
Test the lib (lib/john-hughes)
3m 28s
Test the lib (lib/john-hughes)
3m 28s
Build and test examples (covering-seq)
4m 29s
Build and test examples (covering-seq)
4m 29s
Build and test examples (pil-fun)
14m 2s
Build and test examples (pil-fun)
14m 2s
Build and test examples (pil-reg)
2m 2s
Build and test examples (pil-reg)
2m 2s
Build and test examples (sorted-list)
3m 23s
Build and test examples (sorted-list)
3m 23s
Build and test examples (sorted-tree-indexed)
3m 3s
Build and test examples (sorted-tree-indexed)
3m 3s
Build and test examples (sorted-tree-naive)
10m 10s
Build and test examples (sorted-tree-naive)
6m 26s
Build and test examples (uniq-list)
5m 27s
Build and test examples (uniq-list)
5m 27s
4h 36m 16s