ci: add Gitea Actions workflow for make check
All checks were successful
check / check (push) Successful in 59s
merge-ready
#21 by clawbot was merged 2026-03-30 21:34:49 +02:00