diff options
author | Mathias Preiner <mathias.preiner@gmail.com> | 2021-05-06 12:55:51 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-05-06 19:55:51 +0000 |
commit | f28ed39a59e6ec8a282ef25b9415bc7d33cb919c (patch) | |
tree | cc57b08a3de6c0240e9d7ee8be03f0cd82f53a2a /.github | |
parent | 2f4af86757f34a31f2983f30b3321e7c0511aa32 (diff) |
Update README.md and remove last CVC4 references. (#6497)
Diffstat (limited to '.github')
-rw-r--r-- | .github/workflows/ci.yml | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index b53370f60..a207723dd 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -139,7 +139,7 @@ jobs: uses: actions/cache@v2 with: path: deps/install - key: aux-tools-${{ runner.os }}-${{ hashFiles('contrib/get-**') }}-${{ hashFiles('.github/workflows/ci.yml') }} + key: cvc5-aux-tools-${{ runner.os }}-${{ hashFiles('contrib/get-**') }}-${{ hashFiles('.github/workflows/ci.yml') }} - name: Setup Auxiliary Tools if: steps.restore-aux-tools.outputs.cache-hit != 'true' @@ -151,8 +151,8 @@ jobs: uses: actions/cache@v2 with: path: ccache-dir - key: ccache-${{ runner.os }}-${{ matrix.cache-key }}-${{ github.sha }} - restore-keys: ccache-${{ runner.os }}-${{ matrix.cache-key }}- + key: cvc5-ccache-${{ runner.os }}-${{ matrix.cache-key }}-${{ github.sha }} + restore-keys: cvc5-ccache-${{ runner.os }}-${{ matrix.cache-key }}- - name: Configure ccache run: | @@ -167,7 +167,7 @@ jobs: uses: actions/cache@v2 with: path: build/deps - key: deps-${{ runner.os }}-${{ matrix.cache-key }}-${{ hashFiles('cmake/Find**', 'cmake/deps-helper.cmake') }}-${{ hashFiles('.github/workflows/ci.yml') }} + key: cvc5-deps-${{ runner.os }}-${{ matrix.cache-key }}-${{ hashFiles('cmake/Find**', 'cmake/deps-helper.cmake') }}-${{ hashFiles('.github/workflows/ci.yml') }} - name: Configure run: | |