Add ccache support to Dockerfiles and build workflow - #892

Draft

lukovdm wants to merge 45 commits into

stormchecker:masterfrom

lukovdm:cache-actions

Commits on Mar 19, 2026

Add ccache support to Dockerfiles and build workflow for improved build performance
lukovdm
committed
a9d9699
cache test
lukovdm
committed
db2357b
Remove PCH when using ccache, fix missing includes.
lukovdm
committed
b565e9a
Update cache key in build workflow and fix includes
lukovdm
committed
d89c26c
Enhance ccache usage with verbose output in Dockerfiles and build workflow; add benchmark script for compile time analysis
lukovdm
committed
d578afc
Update docker files
lukovdm
committed
c905fc4

Commits on Mar 20, 2026

warm cache
lukovdm
committed
fc5220f
add PCH flag, disable PCH when developer is turned on
lukovdm
committed
f525bcd
Fix Mac CI error with STORM_DEVELOPER
lukovdm
committed
2b66662
Set correct key for Minimal dependices indepth tests
lukovdm
committed
2491036
Disable PCH for linuxtests ci
lukovdm
committed
ddbecae
fix syntax in buildtest.yml
lukovdm
committed
22a84a7
Update cache key for build tests to include cmakeArgs
lukovdm
committed
d3eee94
Refine cache keys for build tests to improve cache efficiency
lukovdm
committed
af35ec3
Fix Spot build flags for debug mode and ensure CCACHE is applied correctly
lukovdm
committed
897f8db

Commits on Mar 26, 2026

Set workflow cache keys so they are properly saved.
lukovdm
committed
eb9b0a7

Commits on Apr 2, 2026

Commits on Apr 9, 2026

Merge build workflows
lukovdm
committed
3db1980
new ci policy
lukovdm
committed
8357a0b

Commits on Apr 10, 2026

Compact matrices and fix bug in docker base image
lukovdm
committed
07b2b2b
Don't run normal PR CI if ready to review CI PR is used.
lukovdm
committed
8b964cc

Commits on Apr 13, 2026

Refactor cache keys in test workflows for improved cache management
lukovdm
committed
490f9e4
Merge branch 'master' into cache-actions
lukovdm
committed
c92cbe3
Fix syntax for conditional checks in CI workflow
lukovdm
committed
4c9b11d

Commits on Apr 20, 2026

Fix actions
lukovdm
committed
9d50cc0
Remove unnecessary line breaks in Docker build arguments for CI workflows
lukovdm
committed
9e14620
Suppress false positive warning from GCC 15 for SparseDtmcEliminationModelChecker
lukovdm
committed
10013bb

Commits on Jun 10, 2026

Commits on Jun 11, 2026

Update CI workflow conditions to trigger only on master push
lukovdm
committed
3bf30bb
Make workflow calls use booleans when applicable, move no-free-nonheap-object to source file, test where -Wno-deprecated-declarations of apple clang fails, small fixes
lukovdm
committed
366d8df
Revert "Update CI workflow conditions to trigger only on master push"
lukovdm
committed
28b45ba
Fix ci trigger
lukovdm
committed
ec578fa
Fix pragma ignore
lukovdm
committed
853d234
Add precise deprecated ignore
lukovdm
committed
0a6a2d4
Remove old version
lukovdm
committed
e7570b2

Commits on Jul 1, 2026

Merge branch 'master' into cache-actions
lukovdm
committed
4996ec9

Commits on Aug 6, 2026

Merge from master
volkm
committed
f8a989f
Small revision of CMakeLists after merge
volkm
committed
6198d85