ci: add pull request quality gates #12

Merged

codinget merged 1 commits from t3code/issue-four-ci into master

2026-07-23 00:22:44 +02:00

Author	SHA1	Message	Date
codingetandCodex	31d4636dde	ci: add pull request quality gates CI / install-and-build (pull_request) Successful in 1m29s Details CI / format (pull_request) Successful in 51s Details CI / typecheck-source (pull_request) Successful in 41s Details CI / typecheck-tests (pull_request) Successful in 39s Details CI / test (pull_request) Successful in 51s Details CI / lint (pull_request) Successful in 21s Details Co-Authored-By: gpt-5.6-terra <noreply@openai.com>	2026-07-22 21:50:29 +00:00