More property tests #698
Set up job
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.
Initialize containers
10s
10s
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-get install
13s
13s
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 GHCup
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.
Install cabal-install (prerelease)
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 GHC (GHCup)
51s
51s
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
17s
17s
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
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.
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
2s
2s
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
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.
build w/o tests
1m 39s
1m 39s
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
5m 58s
5m 58s
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
22s
22s
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
54s
54s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
unconstrained build
5s
5s
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
2s
2s
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
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.
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