Skip to content

First draft of .github/workflows/deploy_on_push.yml#18

Merged
BraunRudolf merged 1 commit intomainfrom add_deploy_actionAug 1, 2024