Skip to content

Update CI

Sergey Kosukhin requested to merge update-ci into master

This extends the CI initiated in !16 (merged). See the commit messages for the list of changes.

Merge request reports

Imprint | Privacy Policy