Skip to content
DepTyCheck

DepTyCheck #1532

Sign in to view logs

DepTyCheck

DepTyCheck #1532

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Build the docs
17s
Build the docs
17s
Prepare `pack`
1m 50s
Prepare `pack`
1m 50s
Build thirdparties
1m 25s
Build thirdparties
1m 25s
Build the lib
1m 20s
Build the lib
1m 20s
Acquire examples
4s
Acquire examples
4s
Acquire test sets
7s
Acquire test sets
7s
Build and test examples (covering-seq)
7m 48s
Build and test examples (covering-seq)
7m 48s
Build and test examples (pil-fun)
28m 24s
Build and test examples (pil-fun)
28m 24s
Build and test examples (pil-reg)
1m 33s
Build and test examples (pil-reg)
1m 33s
Build and test examples (sorted-list)
4m 47s
Build and test examples (sorted-list)
4m 47s
Build and test examples (sorted-tree-indexed)
5m 44s
Build and test examples (sorted-tree-indexed)
5m 44s
Build and test examples (sorted-tree-naive)
12m 30s
Build and test examples (sorted-tree-naive)
12m 30s
Build and test examples (uniq-list)
8m 11s
Build and test examples (uniq-list)
8m 11s
Test the lib (derivation/core)
5m 14s
Test the lib (derivation/core)
5m 14s
Test the lib (derivation/distribution/dependent)
4m 57s
Test the lib (derivation/distribution/dependent)
4m 57s
Test the lib (derivation/distribution/list)
2m 32s
Test the lib (derivation/distribution/list)
2m 32s
Test the lib (derivation/distribution/nats)
2m 6s
Test the lib (derivation/distribution/nats)
2m 6s
Test the lib (derivation/distribution/vect)
5m 35s
Test the lib (derivation/distribution/vect)
5m 35s
Test the lib (derivation/infra)
5m 13s
Test the lib (derivation/infra)
5m 13s
Test the lib (derivation/inputvalidation)
1m 22s
Test the lib (derivation/inputvalidation)
1m 22s
Test the lib (derivation/least-effort/print/adt)
3m 47s
Test the lib (derivation/least-effort/print/adt)
3m 47s
Test the lib (derivation/least-effort/print/gadt)
4m 47s
Test the lib (derivation/least-effort/print/gadt)
4m 47s
Test the lib (derivation/least-effort/print/regression)
2m 47s
Test the lib (derivation/least-effort/print/regression)
2m 47s
Test the lib (derivation/least-effort/run/adt)
2m 43s
Test the lib (derivation/least-effort/run/adt)
2m 43s
Test the lib (derivation/least-effort/run/gadt)
4m 12s
Test the lib (derivation/least-effort/run/gadt)
4m 12s
Test the lib (derivation/least-effort/run/regression)
3m 11s
Test the lib (derivation/least-effort/run/regression)
3m 11s
Test the lib (derivation/utils/arg-deps)
1m 13s
Test the lib (derivation/utils/arg-deps)
1m 13s
Test the lib (derivation/utils/canonicsig)
1m 25s
Test the lib (derivation/utils/canonicsig)
1m 25s
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 53s
Test the lib (derivation/utils/involved-types)
1m 53s
Test the lib (derivation/utils/up-to-renaming-ttimp-eq)
5m 59s
Test the lib (derivation/utils/up-to-renaming-ttimp-eq)
1m 50s
Test the lib (docs)
1m 31s
Test the lib (docs)
1m 31s
Test the lib (lib/coverage)
2m 0s
Test the lib (lib/coverage)
2m 0s
Test the lib (lib/distribution/ap)
7m 10s
Test the lib (lib/distribution/ap)
7m 10s
Test the lib (lib/distribution/bind)
5m 32s
Test the lib (lib/distribution/bind)
5m 32s
Test the lib (lib/distribution/fin)
1m 42s
Test the lib (lib/distribution/fin)
1m 42s
Test the lib (lib/distribution/frequency)
2m 41s
Test the lib (lib/distribution/frequency)
2m 41s
Test the lib (lib/distribution/rec)
5m 52s
Test the lib (lib/distribution/rec)
5m 52s
Test the lib (lib/distribution/shallow)
1m 49s
Test the lib (lib/distribution/shallow)
1m 49s
Test the lib (lib/distribution/smoke)
2m 12s
Test the lib (lib/distribution/smoke)
2m 12s
Test the lib (lib/distribution/trivial)
1m 10s
Test the lib (lib/distribution/trivial)
1m 10s
Test the lib (lib/distribution/with)
1m 39s
Test the lib (lib/distribution/with)
1m 39s
Test the lib (lib/gen-monad)
1m 20s
Test the lib (lib/gen-monad)
1m 20s
5h 33m 37s