GitHub/Anki
1
0
Fork 0
mirror of https://github.com/ankitects/anki.git synced 2026-01-14 06:23:57 -05:00
Code Issues Projects Releases Packages 1 Wiki Activity Actions
2526 commits 10 branches 166 tags 121 MiB
Commit graph

4 commits

Author SHA1 Message Date
Damien Elmes
cb25035418 rename workflow file 2019-12-24 19:57:54 +10:00
Damien Elmes
85439a2cad drop pytype from CI checks 
less useful as more type hints are added
 2019-12-23 08:40:37 +10:00
Damien Elmes
67471c0c32 add pull_request to github actions 2019-12-22 18:39:14 +10:00
Damien Elmes
edea4e9995 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