8 Commits

Author SHA1 Message Date
MarcoFalke
faba426b3b
lint: Flatten lint image entry points 2026-01-28 15:22:18 +01:00
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
MarcoFalke
fa904fc683
lint: Remove confusing, redundant, and brittle lint-spelling 2025-12-12 09:11:23 +01:00
fanquake
e6caf150b3
ci: add moreutils to lint job
Makes the sponge utility available for an upcoming scripted-diff.
2025-11-11 11:12:50 +00:00
fanquake
d4f47f9771
ci: use latest versions of lint deps
Some of the versions used here are > 2 years old. i.e mypy. Use the
latest avilable versions, except for LIEF, which is generally changed
with Guix.
2025-09-29 14:47:41 -04:00
fanquake
f28a94b40e
ci: update shellcheck to v0.11.0 2025-08-07 09:03:15 +01:00
fanquake
e46af30441
ci: update mlc to v1 2025-08-07 09:03:15 +01:00
MarcoFalke
fa68dcb207
ci: Add missing errexit to lint CI install
Otherwise, a possible failure is silently ignored.

Also, rename the file, while touching it, to clarify installing is the
first step.
2025-06-18 14:11:11 +02:00