update workflows #10

Merged
chizeta merged 1 commit from fix into main 2024-05-17 20:33:15 +02:00

1 commit

Author SHA1 Message Date
Christian Zimmermann
a1a1448ee6 update workflows 2024-05-17 20:31:37 +02:00