Skip to content

ci: add GitHub Actions workflow for PR checks - #2

Closed
greg3d wants to merge 2 commits into
masterfrom
add-ci-checks
Closed

ci: add GitHub Actions workflow for PR checks#2
greg3d wants to merge 2 commits into
masterfrom
add-ci-checks

Commits

  1. Commits on May 17, 2026