Adds .gitea/workflows/check.yml that runs make check on pushes to main and PRs targeting main. No other files modified. Refs #96