Skip to content

Run workflows also on push event to cache ccache#160

Merged
christophfroehlich merged 1 commit into
mainfrom
run-on-push
Mar 23, 2026
Merged

Run workflows also on push event to cache ccache#160
christophfroehlich merged 1 commit into
mainfrom
run-on-push

Commits

Commits on Mar 11, 2026