Commit Graph

19 Commits

Author SHA1 Message Date
Simon Michael
daa3010c3e ;ci: binaries-linux-x64: fix addition of manuals to bindist 2024-09-30 17:20:13 -10:00
Simon Michael
69da3c0a17 ;pkg: include man pages and info manuals in the release bindists 2024-09-17 06:27:19 -07:00
gesh
f7f0a817fe Add bash completion to bindist 2024-09-16 15:00:09 -07:00
Simon Michael
81f5bf02bb ;ci: cleanups 2024-04-18 23:17:53 -10:00
Simon Michael
81fc202d08 ci: binaries-linux-x64: use ghc 9.8 and cabal 3.10 again 2024-04-18 13:20:12 -10:00
Simon Michael
384cb4da38 ci: binaries-linux-x64: switch to more stable alpine:latest 2024-04-18 13:20:12 -10:00
Simon Michael
0bcad0a39c ci: binaries-linux-x64: try ghc 9.0 and cabal 3.8 again 2024-04-18 13:20:12 -10:00
Simon Michael
dc4a0ff82c ;ci: clean up github cache/post-cache titles again 2024-04-18 13:20:12 -10:00
Simon Michael
9910651451 ;ci: cleanups 2024-04-18 13:20:12 -10:00
Simon Michael
6d1118ee59 ;ci: use upload-artifact v4, silence node 16 warnings 2024-04-18 13:20:12 -10:00
Simon Michael
ef15f9e615 ci: use cache v4, silence node 16 warnings 2024-04-18 13:20:12 -10:00
Simon Michael
835a34b3f3 ci: use checkout v4, silence node 16 warnings 2024-04-18 13:20:12 -10:00
Simon Michael
7b24c3546c ci: binaries: drop unused early termination code
It is used only in ci.yml.
2024-04-18 13:20:12 -10:00
Simon Michael
3fd350861b ci: binaries-linux-x64: cleanups 2024-04-18 13:20:12 -10:00
Simon Michael
b23b61a60f ci: binaries-linux-x64: try other static build options 2024-04-18 13:20:12 -10:00
Simon Michael
981aee3e52 ci: binaries-linux-x64: work around unwritable $HOME issue
This is for https://github.com/actions/runner/issues/863 which is causing
"Preventing creation of Stack root '/github/home/.stack/'. Parent directory '/github/home/' is owned by someone else."
2024-04-18 13:20:12 -10:00
Simon Michael
06d6730a79 ci: binaries-linux-x64: also run some unit tests 2024-04-18 13:20:12 -10:00
Simon Michael
4e5a2dcc70 ci: binaries: tool setup fixes, label tool version output 2024-04-18 13:20:12 -10:00
Simon Michael
7249fa80cd ci: binaries-linux: drop "-static" from names, assume it 2024-04-18 13:20:12 -10:00