Closed jahnf closed 3 years ago
travis ci seems to have problems with builds right now (not starting at all..) but github ci builds are fine.