diff options
| author | Federico Ceratto <federico.ceratto@gmail.com> | 2023-04-29 08:01:23 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-04-29 15:01:23 +0800 |
| commit | 77093bf7b98539285aa358c0e22e6577387c2377 (patch) | |
| tree | e2f3c7e0b3c62e5600b082b9711319ba80095273 /.github | |
| parent | 43f29842fccadb1b282bf76883a6932f0c7af70d (diff) | |
| download | Nim-77093bf7b98539285aa358c0e22e6577387c2377.tar.gz | |
Save and restore ci_bench cache (#21750)
Diffstat (limited to '.github')
| -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 |