aboutsummaryrefslogtreecommitdiff
path: root/.github
AgeCommit message (Collapse)Author
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-26Clarify how to add built files in PRsFausto Núñez Alberro
2021-01-26Move the PR template to a correct locationFausto Núñez Alberro
2021-01-26Update issue templatesFausto Núñez Alberro
2021-01-16Automate weekly build process with pybase16 and GH ActionsFausto Núñez Alberro