4 Commits

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