Simon Michael
d8d236385d
;ci: linux: expect linux builds to be warning free like the rest
2024-09-30 17:21:23 -10:00
Simon Michael
bba77abcf6
;ci: add consistent greppable summaries for all workflows
2024-09-30 17:21:02 -10:00
Simon Michael
10465ffbe5
;ci: update all stack/cabal versions installed by ghcup to latest
2024-09-30 17:20:13 -10:00
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
