diff --git a/.github/workflows/github-action.yml b/.github/workflows/github-action.yml index cb7d1343f..95048720d 100644 --- a/.github/workflows/github-action.yml +++ b/.github/workflows/github-action.yml @@ -91,8 +91,15 @@ jobs: - name: ctest performance tests on cruxbc working-directory: ${{github.workspace}}/Release-build if: runner.os == 'Linux' && matrix.sanitizer != 'address' - run: + run: | ctest -R diff-perf-cruxbc -VV + git pull || echo "Skipping git pull." # Git pull fails on pull request + cp -r ${{github.workspace}}/Release-build/Testing/Temporary/LastTest.log $GITHUB_WORKSPACE/Test-Suite/diff_tests/perf_history/perf-$(date +'%Y-%m-%dT%H:%M:%S').txt + cp -r ${{github.workspace}}/Release-build/Testing/Temporary/LastTest.log $GITHUB_WORKSPACE/Test-Suite/diff_tests/perf-latest.txt + cd $GITHUB_WORKSPACE/Test-Suite/diff_tests + time python3 -m pip install --upgrade pip setuptools wheel + time pip3 install -r ./requirements.txt + time python3 perf_compare.py -d ./perf_history/ --tablefmt grid --exit-on-error --only-show-changed --threshold-percentage 80 - name: ctest performance tests on cruxbc (small) working-directory: ${{github.workspace}}/Release-build