diff options
| author | Matthew Pickering <matthewtpickering@gmail.com> | 2022-03-31 13:34:01 +0100 |
|---|---|---|
| committer | Matthew Pickering <matthewtpickering@gmail.com> | 2022-04-01 10:35:59 +0100 |
| commit | a952dd80d40bf6b67194a44ff71d7bf75957d29e (patch) | |
| tree | 03a36e05355ec6fa968e784e85c01ea8d4b7f88d /.gitlab/gen_ci.hs | |
| parent | acfd5a4c4f0a235240a15dc9f4417a11ece5a143 (diff) | |
| download | haskell-a952dd80d40bf6b67194a44ff71d7bf75957d29e.tar.gz | |
ci: Attempt to fix windows cache issues
It appears that running the script directly does nothing (no info is
printed about saving the cache).
Diffstat (limited to '.gitlab/gen_ci.hs')
| -rwxr-xr-x | .gitlab/gen_ci.hs | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/.gitlab/gen_ci.hs b/.gitlab/gen_ci.hs index 14cd5cbdf4..aaaa721090 100755 --- a/.gitlab/gen_ci.hs +++ b/.gitlab/gen_ci.hs @@ -559,7 +559,12 @@ job arch opsys buildConfig = (jobName, Job {..}) , ".gitlab/ci.sh test_hadrian" ] - jobAfterScript = + jobAfterScript + | Windows <- opsys = + [ "bash .gitlab/ci.sh save_cache" + , "bash .gitlab/ci.sh clean" + ] + | otherwise = [ ".gitlab/ci.sh save_cache" , ".gitlab/ci.sh clean" , "cat ci_timings" ] |