ci: add lint makefile job #5

Merged

mvhutz merged 2 commits from ci/lint-makefile-job into main

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

Author	SHA1	Message	Date
M.V. Hutz	e305b9c3c2	style: rename "Lint Makefile" to "Makefile Lint" All checks were successful CI / Makefile Lint (pull_request) Successful in 15s Details CI / Go Lint (pull_request) Successful in 18s Details CI / Unit Tests (pull_request) Successful in 29s Details CI / Fuzz Tests (pull_request) Successful in 46s Details CI / Mutation Tests (pull_request) Successful in 36s Details This matches the convention of the other CI job names.	2026-03-18 20:21:51 -04:00
M.V. Hutz	e712c7ad79	ci: add lint makefile job All checks were successful CI / Lint Makefile (pull_request) Successful in 22s Details CI / Go Lint (pull_request) Successful in 16s Details CI / Unit Tests (pull_request) Successful in 12s Details CI / Mutation Tests (pull_request) Successful in 36s Details CI / Fuzz Tests (pull_request) Successful in 55s Details Currently, there is no CI job to lint the Makefile. This adds one.	2026-03-18 20:19:27 -04:00