Commit Graph

104 Commits

Author SHA1 Message Date
Damien Elmes
ed6f58080b rename workflow file 2019-12-24 19:57:54 +10:00
Damien Elmes
30f5a82d35 drop pytype from CI checks
less useful as more type hints are added
2019-12-23 08:40:37 +10:00
Damien Elmes
59ec442317 add pull_request to github actions 2019-12-22 18:39:14 +10:00
Damien Elmes
e2feb89f47 switch to GitHub workflows for CI
Also drop -j from Make, as it saves little time and makes errors
harder to read.
2019-12-22 12:15:18 +10:00