Commit graph

2 commits

Author SHA1 Message Date
Johannes Wilm
4839dccfd5 change CI names 2022-07-16 23:32:02 +02:00
Johannes Wilm
8f94d125b3 switch to github actions 2022-07-16 23:02:49 +02:00