chore: add tidy

This commit is contained in:
Kevin Franklin Kim 2025-09-19 11:36:14 +02:00
parent 68b1491a6d
commit d2619ef68b
No known key found for this signature in database

View File

@ -4,6 +4,7 @@ on:
push:
branches: [ main ]
pull_request:
merge_group:
workflow_dispatch:
permissions:
@ -31,6 +32,9 @@ jobs:
with:
install-mode: none
- name: Run tidy
run: make tidy && git diff --exit-code
- name: Run lint
run: make lint