roskakori/cutplace

Change CI to GitHub

roskakori opened this issue · 0 comments

roskakori commented

Goals:

  • CI uses Github actions instead of Travis (which tends to break ever so often because it gets reworked because of reasons).