aboutsummaryrefslogtreecommitdiff
path: root/.github/workflows
AgeCommit message (Expand)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
2021-01-16Automate weekly build process with pybase16 and GH ActionsFausto Núñez Alberro