Skip to content
Snippets Groups Projects
Commit de63de45 authored by Christian Gumpert's avatar Christian Gumpert
Browse files

port CI scripts from 21.0 branch 

The CI setup was developed initially using the 21.0 branch. This
setup needs to be merged into the main development branch now. It
should be cherry-picked in other development branches later.
parent 5f0e8e73
No related branches found
No related tags found
Hide whitespace changes
Inline Side-by-side
Showing
with 541 additions and 0 deletions
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment