morbalint 18ccdbff42 fix github actions pipeline ...

use a single script step

2023-10-26 12:13:48 +02:00

..

ci.yml

fix github actions pipeline

2023-10-26 12:13:48 +02:00