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
