ci: main: build haddocks --fast, in case that works
This commit is contained in:
parent
81ad760e49
commit
07502bd41c
2
.github/workflows/main.yml
vendored
2
.github/workflows/main.yml
vendored
@ -254,7 +254,7 @@ jobs:
|
|||||||
env:
|
env:
|
||||||
stack: ${{ matrix.plan.stack }}
|
stack: ${{ matrix.plan.stack }}
|
||||||
run: |
|
run: |
|
||||||
time $stack build --haddock --no-haddock-deps --no-haddock-hyperlink-source --haddock-arguments="--no-print-missing-docs"
|
time $stack build --fast --haddock --no-haddock-deps --no-haddock-hyperlink-source --haddock-arguments="--no-print-missing-docs"
|
||||||
# --no-haddock-hyperlink-source is 25% faster
|
# --no-haddock-hyperlink-source is 25% faster
|
||||||
# --no-print-missing-docs is 600% quieter
|
# --no-print-missing-docs is 600% quieter
|
||||||
if: env.CONTINUE
|
if: env.CONTINUE
|
||||||
|
|||||||
Loading…
Reference in New Issue
Block a user