summaryrefslogtreecommitdiff
path: root/.github/workflows
diff options
context:
space:
mode:
authorJiuyang Liu2021-07-29 12:14:27 +0800
committerJiuyang Liu2021-08-18 12:56:08 +0800
commitbc963e741df2f949c236db65aa51b686abdd41a1 (patch)
treead0e806a71e3a9942d7c547136013aeab45dc2cb /.github/workflows
parent0952a6ecf0811663f21379371707abc679a9cea4 (diff)
timestamp seems to be fixed in actions/cache#397
Diffstat (limited to '.github/workflows')
-rw-r--r--.github/workflows/test.yml7
1 files changed, 3 insertions, 4 deletions
diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
index dca07648..22a04c35 100644
--- a/.github/workflows/test.yml
+++ b/.github/workflows/test.yml
@@ -31,7 +31,7 @@ jobs:
run: sudo apt-get install -y libfl2 libfl-dev ninja-build
- name: Cache Z3 ${{ matrix.z3 }}
- uses: actions/cache@v2
+ uses: actions/cache@v2.1.6
id: cache-z3
with:
path: z3-z3-${{ matrix.z3 }}
@@ -56,7 +56,7 @@ jobs:
z3 --version
- name: Cache Verilator ${{ matrix.verilator }}
- uses: actions/cache@v2
+ uses: actions/cache@v2.1.6
id: cache-verilator
with:
path: verilator-${{ matrix.verilator }}
@@ -77,7 +77,7 @@ jobs:
verilator --version
- name: Cache Espresso ${{ matrix.espresso }}
- uses: actions/cache@v2
+ uses: actions/cache@v2.1.6
id: cache-espresso
with:
path: espresso-${{ matrix.espresso }}
@@ -97,7 +97,6 @@ jobs:
cd espresso-${{ matrix.espresso }}/build
sudo make install
-
- name: Setup Scala
uses: olafurpg/setup-scala@v10
with: