Age | Commit message (Collapse) | Author | |
---|---|---|---|
2021-02-06 | Update workflow name | Fausto Núñez Alberro | |
2021-02-06 | Fix the PR check script | Fausto Núñez Alberro | |
2021-02-06 | Properly name GitHub workflow | Fausto Núñez Alberro | |
2021-02-06 | Add a workflow to check if PRs are built | Fausto Núñez Alberro | |