aboutsummaryrefslogtreecommitdiff
path: root/.github/workflows/pr.yml
AgeCommit message (Collapse)Author
2021-02-06Update workflow nameFausto Núñez Alberro
2021-02-06Fix the PR check scriptFausto Núñez Alberro
2021-02-06Properly name GitHub workflowFausto Núñez Alberro
2021-02-06Add a workflow to check if PRs are builtFausto Núñez Alberro