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
#16 by clawbot was merged 2026-02-20 08:57:20 +01:00 1 waiting review