fanquake ddae1b4efa

ci: remove gnu-getopt usage ...

This is used for argument parsing in the retry script, however we don't
use the script with any arguments. So remove the unused code, and the
dependency on gnu-getopt.

This came up in the context of adding new CI jobs, where gnu-getopt
might not be available, or working properly. It seemed easier to just
remove the unused code, than look for more workarounds.

2026-01-27 16:20:55 +00:00

..

ci.yml

ci: remove gnu-getopt usage

2026-01-27 16:20:55 +00:00