improve GitHub workflow for SNAPSHOT

Closed this issue 2 years ago · 2 comments

FrankHossfeld commented 2 years ago

improve GitHub workflow for SNAPSHOT

philkohl commented 2 years ago

together with #35

FrankHossfeld commented 2 years ago

Done