M.V. Hutz 2bfaede2d4 ci: add lint makefile job (#5) ...

Currently, there is no CI job to lint the Makefile. This adds one.

Reviewed-on: #5
Co-authored-by: M.V. Hutz <git@maximhutz.me>
Co-committed-by: M.V. Hutz <git@maximhutz.me>

2026-03-19 00:24:25 +00:00

..

ci.yml

ci: add lint makefile job (#5)

2026-03-19 00:24:25 +00:00