diff --git a/.github/workflows/workflow.yaml b/.github/workflows/workflow.yaml index 00e33ecaf..8fd9380db 100644 --- a/.github/workflows/workflow.yaml +++ b/.github/workflows/workflow.yaml @@ -157,7 +157,6 @@ jobs: compiler: - { c: gcc, cxx: g++, version: 11 } - { c: gcc, cxx: g++, version: 12 } - - { c: gcc, cxx: g++, version: 13 } - { c: clang, cxx: clang++, version: 14 } - { c: clang, cxx: clang++, version: 16, coverage: true } include: @@ -167,6 +166,11 @@ jobs: build-type: Tsan - compiler: {c: clang, cxx: clang++, version: 14} build-type: Asan + exclude: + # gcc-12 causes a false-positive memory error in release (https://github.com/google/googletest/issues/4108) + - os: { c: gcc, cxx: g++, version: 12 } + build-type: Release + env: CC: ${{matrix.compiler.c}}-${{matrix.compiler.version}} CXX: ${{matrix.compiler.cxx}}-${{matrix.compiler.version}} diff --git a/docker/Storage/Dockerfile b/docker/Storage/Dockerfile index 8ac114f69..66e8d3d18 100644 --- a/docker/Storage/Dockerfile +++ b/docker/Storage/Dockerfile @@ -5,7 +5,7 @@ RUN cmake --version RUN mkdir -p ./modyn/storage/build \ && cd ./modyn/storage/build \ - && cmake .. \ + && cmake .. -DCMAKE_BUILD_TYPE=Release \ && make -j8 # During debugging, this entry point will be overridden. For more information, please refer to https://aka.ms/vscode-docker-python-debug