Paolo Asperti 269f2fe0eb fix github action on manual build

2022-07-21 17:27:02 +02:00

..

workflows

fix github action on manual build

2022-07-21 17:27:02 +02:00