integrate github workflows#109

Open

marcohanke wants to merge 8 commits intomasterfrom

github_workflow_integration

Commits on Sep 23, 2023

Commits on Sep 24, 2023

update scriptname
marcohanke
committed

Commits on Sep 26, 2023

delete unneeded stuff
marcohanke
committed