fanquake
9f3752c437
ci: use latest versions of lint deps
...
Use the latest available versions, except for LIEF, which is
changed with Guix.
2026-03-10 11:20:59 +00:00
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
