Commit graph

4 commits

Author SHA1 Message Date
Johannes Wilm
b45d211e09 add secrets.GITHUB_TOKEN 2022-07-16 23:38:40 +02:00
Johannes Wilm
4839dccfd5 change CI names 2022-07-16 23:32:02 +02:00
Johannes Wilm
b7c8485f1e github actions: split lint & test 2022-07-16 23:15:01 +02:00
Johannes Wilm
8f94d125b3 switch to github actions 2022-07-16 23:02:49 +02:00