ci: configure GitHub Actions for CI/PR