This repository was archived by the owner on Mar 7, 2026. It is now read-only.
ci: update GitHub Actions to run on develop branch and PRs#4
Closed
christoph2806 wants to merge 5 commits intodevelopfrom
Closed
ci: update GitHub Actions to run on develop branch and PRs#4christoph2806 wants to merge 5 commits intodevelopfrom
christoph2806 wants to merge 5 commits intodevelopfrom
Commits
Commits on May 20, 2025
- committed
- committed
- committed
- committed
- committed
