Created workflow docu for repo fork #3

Merged
zimoch_e merged 13 commits from (deleted):master into master 2026-07-02 15:19:51 +02:00