Skip to content

Run all workflows also on push to cache ccache#14

Merged
christophfroehlich merged 1 commit intomainfrom
ci/push
Mar 10, 2026
Merged

Run all workflows also on push to cache ccache#14
christophfroehlich merged 1 commit intomainfrom
ci/push

Commits

Commits on Mar 10, 2026