GitHub/Anki
1
0
Fork 0
mirror of https://github.com/ankitects/anki.git synced 2025-12-04 18:37:14 -05:00
Code Issues Projects Releases Packages 1 Wiki Activity Actions
2527 commits 10 branches 166 tags 104 MiB
Commit graph

5 commits

Author SHA1 Message Date
Damien Elmes
1ecb6f4434 venv fix for github 2019-12-24 19:57:54 +10:00
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