tree ceb9e83b712c2d627022aa93bcc56caffb77d718
parent 121dec4b5a2959b0a7d33d58d39bc38fcf29620c
author Marc Kupietz <kupietz@ids-mannheim.de> 1772704183 +0100
committer Marc Kupietz <kupietz@ids-mannheim.de> 1772704183 +0100

Update GH CI script

Change-Id: Icc27e4dbeea6516b312262a8ee14b2d121840e7d