Closed willdurand closed 4 months ago
This PR adds a new GitHub Actions workflow to run a CI job on pull requests and commits landed on the main branch (master).
master
This PR adds a new GitHub Actions workflow to run a CI job on pull requests and commits landed on the main branch (
master
).