diff options
| -rw-r--r-- | .github/workflows/ci_bench.yml | 20 |
1 files changed, 10 insertions, 10 deletions
diff --git a/.github/workflows/ci_bench.yml b/.github/workflows/ci_bench.yml index b044ab51f..09f01242f 100644 --- a/.github/workflows/ci_bench.yml +++ b/.github/workflows/ci_bench.yml @@ -73,22 +73,22 @@ jobs: id: minimize-cache uses: actions/cache/restore@v3 with: - path: minimize.sqlite + path: minimize.csv key: minimize-db-key - name: 'Update minimize db' shell: bash run: ./minimize/minimize update-db - # - name: 'Save minimize cached database' - #if: | - # github.event_name == 'push' && github.ref == 'refs/heads/devel' && - # matrix.target == 'linux' - # id: minimize-cache - # uses: actions/cache/save@v3 - # with: - # path: minimize.sqlite - # key: minimize-db-key + - name: 'Save minimize cached database' + if: | + github.event_name == 'push' && github.ref == 'refs/heads/devel' && + matrix.target == 'linux' + id: minimize-cache + uses: actions/cache/save@v3 + with: + path: minimize.csv + key: minimize-db-key - name: 'Generate minimize report' shell: bash |