Skip to content

Commit

Permalink
ci: caching: second try
Browse files Browse the repository at this point in the history
  • Loading branch information
ekiwi committed Dec 3, 2024
1 parent 85aebed commit 8ad19eb
Showing 1 changed file with 14 additions and 12 deletions.
26 changes: 14 additions & 12 deletions .github/workflows/test.yml
Original file line number Diff line number Diff line change
Expand Up @@ -41,23 +41,31 @@ jobs:
- yices2

steps:
- name: Install Yices2
- name: Cache Yices
id: cache-yices
uses: actions/cache@v3
if: ${{ matrix.solver == 'yices2' }}
with:
key: yices-${{ runner.os }}-${{ env.YICES_VERSION }}
path: /tmp/yices2
- name: Install Yices2
if: ${{ matrix.solver == 'yices2' && steps.cache-yices.outputs.cache-hit != 'true' }}
run: |
mkdir /tmp/yices2
cd /tmp/yices2
wget -q https://yices.csl.sri.com/releases/${{ env.YICES_VERSION }}/yices-${{ env.YICES_VERSION }}-x86_64-pc-linux-gnu-static-gmp.tar.gz -O yices.tar.gz
tar -xf yices.tar.gz
mv yices-*/* .
echo "/tmp/yices2/bin" >> "$GITHUB_PATH"
- name: Cache Yices
- name: Cache Bitwuzla
id: cache-bitwuzla
uses: actions/cache@v3
if: ${{ matrix.solver == 'yices2' }}
if: ${{ matrix.solver == 'bitwuzla' }}
with:
key: yices-${{ runner.os }}-${{ env.YICES_VERSION }}
path: /tmp/yices2
key: bitwuzla-${{ runner.os }}-${{ env.BITWUZLA_VERSION }}
path: /tmp/bitwuzla
- name: Install Bitwuzla
if: ${{ matrix.solver == 'bitwuzla' }}
if: ${{ matrix.solver == 'bitwuzla' && steps.cache-bitwuzla.outputs.cache-hit != 'true' }}
run: |
sudo apt-get install -y meson
mkdir /tmp/bitwuzla
Expand All @@ -69,12 +77,6 @@ jobs:
cd build
ninja
sudo ninja install
- name: Cache Bitwuzla
uses: actions/cache@v3
if: ${{ matrix.solver == 'bitwuzla' }}
with:
key: bitwuzla-${{ runner.os }}-${{ env.BITWUZLA_VERSION }}
path: /tmp/bitwuzla
- name: Install btor sim
run: |
mkdir /tmp/btor
Expand Down

0 comments on commit 8ad19eb

Please sign in to comment.