Add TCAppL and TCAppR typechecking stack frames, and remove TCBind{L,R}
#6244
Set up job
3s
3s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Initialize containers
11s
11s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
apt
1m 7s
1m 7s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Set PATH and environment variables
0s
0s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
env
0s
0s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
write cabal config
0s
0s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
versions
0s
0s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
update cabal index
18s
18s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
install cabal-plan
1s
1s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
install cabal-docspec
1s
1s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
checkout
1s
1s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
initial cabal.project for sdist
0s
0s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
sdist
0s
0s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
unpack
0s
0s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
generate cabal.project
0s
0s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
dump install plan
4s
4s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
restore cache
15s
15s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
install dependencies
9s
9s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
build
7m 15s
7m 15s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
weeder
0s
0s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
tests
3m 23s
3m 23s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
docspec
9s
9s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
cabal check
0s
0s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
haddock
2m 18s
2m 18s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
save cache
1m 1s
1m 1s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Post checkout
0s
0s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Stop containers
1s
1s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Complete job
0s
0s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Loading