Skip to content
Commit 4f234b04 authored by Jan Kiene's avatar Jan Kiene
Browse files

Merge branch 'ci/small-ci-cleanup' into 'main' 

[CI] some small CI cleanup from a debugging session

See merge request !1408
parents 1ccc3c58 279ddade