Ben Gamari pushed to branch wip/ci-inputs at Glasgow Haskell Compiler / GHC
Commits:
-
3c692bba
by Ben Gamari at 2025-10-06T11:05:50-04:00
1 changed file:
Changes:
| 1 | +spec:
|
|
| 2 | + inputs:
|
|
| 3 | + release_job:
|
|
| 4 | + default: "no"
|
|
| 5 | + options: [ "yes", "no" ]
|
|
| 6 | + |
|
| 7 | +---
|
|
| 8 | + |
|
| 1 | 9 | variables:
|
| 2 | 10 | GIT_SSL_NO_VERIFY: "1"
|
| 3 | 11 | |
| ... | ... | @@ -28,6 +36,8 @@ variables: |
| 28 | 36 | # Makes ci.sh isolate CABAL_DIR
|
| 29 | 37 | HERMETIC: "YES"
|
| 30 | 38 | |
| 39 | + RELEASE_JOB: $[[ inputs.release_job ]]
|
|
| 40 | + |
|
| 31 | 41 | # Reduce XZ compression level for regular jobs (it is bumped to 9 for releases
|
| 32 | 42 | # and nightly jobs). In my experiments I've got the following bindist size in
|
| 33 | 43 | # the given time for each compression level (with the quick flavour):
|