GitHub/Anki
1
0
Fork 0
mirror of https://github.com/ankitects/anki.git synced 2026-01-15 23:09:00 -05:00
Code Issues Projects Releases Packages 1 Wiki Activity Actions
4994 commits 11 branches 166 tags 122 MiB
Commit graph

103 commits

Author SHA1 Message Date
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