diff --git a/.github/workflows/linux.yml b/.github/workflows/linux.yml index 577d7a265b..b5ce42f442 100644 --- a/.github/workflows/linux.yml +++ b/.github/workflows/linux.yml @@ -106,6 +106,7 @@ jobs: cd casadi mkdir build && cd build cmake .. \ + -DCMAKE_C_COMPILER_LAUNCHER=ccache \ -DCMAKE_CXX_COMPILER_LAUNCHER=ccache \ -DCMAKE_BUILD_TYPE=Release \ -DWITH_EXAMPLES=OFF