Commit graph

3 commits

Author SHA1 Message Date
Pedro Algarvio
77daa3299d
Re-enable github actions workflow.
The main repo has them disabled
2020-02-24 12:06:26 +00:00
Pedro Algarvio
336f3c528b
Disable github workflows for now 2020-01-29 17:02:44 +00:00
Pedro Algarvio
646a44ce1c
Lint depends on the workflow action generation step 2020-01-29 14:19:15 +00:00