fix ci script

This commit is contained in:
Wolfgang Hottgenroth 2022-09-16 12:54:28 +02:00
parent 481a173d2a
commit 2d455a7b49
Signed by: wn
GPG Key ID: 836E9E1192A6B132