Closed alexmohr closed 5 months ago
Travis is broken, migrate to gitlab runners
This can be probably closed now
solved in #70
Travis is broken, migrate to gitlab runners