Commit Graph

5 Commits

Author SHA1 Message Date
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