ci: add Gitea Actions workflow for make check
All checks were successful
check / check (push) Successful in 59s
merge-ready
#21 opened 2026-02-20 11:48:38 +01:00 by clawbot
#16 by clawbot was merged 2026-02-20 08:57:20 +01:00 1 waiting review