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#5
Merged
christoph2806 merged 6 commits intodevelopfrom May 20, 2025
Merged
ci: update GitHub Actions to run on develop branch and PRs#5christoph2806 merged 6 commits intodevelopfrom
christoph2806 merged 6 commits intodevelopfrom
Commits
Commits on May 20, 2025
- committed
- committed
- committed
- committed
- committed
- committed
