feat(ci): clear ccache stats in docker image

This commit is contained in:
rudy
2022-04-08 14:45:18 +02:00
committed by rudy-6-4
parent 2b6eb5f23d
commit 9387b8793c
4 changed files with 3 additions and 5 deletions

View File

@@ -79,7 +79,6 @@ jobs:
- name: Build and test compiler
if: ${{ matrix.compiler == 'gcc7' }}
id: build-compiler
uses: addnab/docker-run-action@v3
with:
registry: ghcr.io
@@ -92,8 +91,6 @@ jobs:
shell: bash
run: |
set -e
echo "Debug: ccache statistics (prior to the build):"
ccache -s
cd /compiler
rm -rf /build
/opt/python/cp38-cp38/bin/pip install pytest
@@ -131,8 +128,6 @@ jobs:
shell: bash
run: |
set -e
echo "Debug: ccache statistics (prior to the build):"
ccache -s
cd /compiler
export PYTHONPATH=""
make CCACHE=ON BUILD_DIR=/build concretecompiler python-bindings doc