tree 1eade58046649600acd830b6aef34436df49bfc4
parent 71bfc029d29a76595d4e96205fd0caf64694447b
author Marc Kupietz <kupietz@ids-mannheim.de> 1750420210 +0200
committer Marc Kupietz <kupietz@ids-mannheim.de> 1750423439 +0200

Fix ci scripts

Change-Id: I1ba50c6bf57f94f9eb811623aa8d3e8427b39361