Skip to content

ci: migrate PR checks to GitHub Actions#4004

Merged
Saadnajmi merged 10 commits intomainfrom
copilot/move-pr-checks-to-github-actions
Feb 12, 2026
Merged

ci: migrate PR checks to GitHub Actions#4004
Saadnajmi merged 10 commits intomainfrom
copilot/move-pr-checks-to-github-actions

Commits

Commits on Feb 10, 2026

Commits on Feb 11, 2026