Commit e15f2fbc authored by Guido Gunther's avatar Guido Gunther

Merge branch 'wip/sadiq/ci' into 'master'

ci: Use standard definitions

See merge request !15
parents c3974f35 0c4a512b
Pipeline #56303 passed with stages
in 3 minutes and 34 seconds