Run workflow on pushes to save cache (backport #420)#421
Merged
christophfroehlich merged 1 commit intohumblefrom Jul 1, 2025
Merged
Run workflow on pushes to save cache (backport #420)#421christophfroehlich merged 1 commit intohumblefrom
christophfroehlich merged 1 commit intohumblefrom
Commits
Commits on Jul 1, 2025
- authored andcommitted
![mergify[bot]](https://avatars.githubusercontent.com/in/10562?v=4&size=32){kind=avatar}