Skip to content
GitLab

Draft: ci improvements

Closed Manuel Guth requested to merge mguth-ci-improvements into master

Summary

This MR introduces the following changes

  • simplifying some CI jobs
Edited by Manuel Guth