2 Commits

Author SHA1 Message Date
5ff6b0ad0f .github/workflows: tweak job names
They didn't seem to correspond to the workflow, properly. Making
triggering them locally weird.
2025-04-04 00:04:51 -05:00
fc6d708fb6 chore: disable cland-tidy for now 2024-05-06 10:50:55 +02:00