Faster CI#804

Merged

fabianbs96 merged 7 commits intosecure-software-engineering:developmentfrom

fabianbs96:f-FasterCI

Dec 4, 2025

Commits on Nov 18, 2025

Added workflow code + utility script
mxHuber
committed

Commits on Dec 1, 2025

Commits on Dec 2, 2025

added key so different runs have their own ccache + moved ccache install
mxHuber
committed

Commits on Dec 4, 2025