Skip to content

Data.PrioTrie: use Text instead of ByteString #310

Data.PrioTrie: use Text instead of ByteString

Data.PrioTrie: use Text instead of ByteString #310

build_init (ubuntu-20.04)

succeeded Feb 3, 2025 in 23m 44s
Set up job
1s
Checkout
2s
Install Nix
3s
Cache cabal stuff
1s
Install Bash
17s
Test nix-shell
44s
Run TODO.sh
3s
Run 'cabal update'
19s
Build 'function-graph' library
5m 6s
Build 'function-graph-server' library
4m 20s
Build 'test-unit' test suite
1m 21s
Run 'test-unit' test suite
11s
Build 'test-prop' test suite
20s
Run 'test-prop' test suite
47s
Build 'test-web' test suite
22s
Run 'test-web' test suite
11s
Build benchmark-lib
2m 32s
Run benchmark-lib
4m 22s
Build benchmark-web
7s
Run benchmark-web
2m 20s
Build 'function-graph' executable
5s
Build 'server' executable
5s
Post Cache cabal stuff
0s
Post Checkout
0s
Complete job
0s