File tree 2 files changed +15
-3
lines changed 2 files changed +15
-3
lines changed Original file line number Diff line number Diff line change @@ -55,7 +55,7 @@ suites:
55
55
xalan : 9
56
56
zxing : 66
57
57
timing_iteration : 1
58
- timeout : 300
58
+ timeout : 7200
59
59
60
60
overrides :
61
61
invocations : 1
Original file line number Diff line number Diff line change 59
59
with :
60
60
path : dacapo/dacapo-evaluation-git-04132797.zip
61
61
key : dacapo-chopin-git-04132797
62
+ lookup-only : true
62
63
- name : Install DaCapo Chopin git-04132797
63
64
if : steps.dacapo-04132797.outputs.cache-hit != 'true'
64
65
run : |
@@ -108,13 +109,24 @@ jobs:
108
109
pip3 install running-ng
109
110
sudo apt-get update -y
110
111
sudo apt-get install -y build-essential libx11-dev libxext-dev libxrender-dev libxtst-dev libxt-dev libcups2-dev libasound2-dev libxrandr-dev
111
- - name : Cache DaCapo Chopin git-04132797
112
+ - name : Fetch DaCapo Chopin git-04132797 cache
112
113
id : dacapo-04132797
113
114
uses : actions/cache@v3
114
115
with :
115
116
path : dacapo/dacapo-evaluation-git-04132797.zip
116
117
key : dacapo-chopin-git-04132797
117
- fail-on-cache-miss : true # We should never have a cache miss here as we cache DaCapo in an earlier job
118
+ # fail-on-cache-miss: true # We should never have a cache miss here as we cache DaCapo in an earlier job
119
+ # Temporarily change this to false in case the cache download gets
120
+ # stuck -- if the cache download is stuck then we go straight to
121
+ # upstream and fetch the zip file
122
+ fail-on-cache-miss : false
123
+ - name : Install DaCapo Chopin git-04132797
124
+ if : steps.dacapo-04132797.outputs.cache-hit != 'true'
125
+ run : |
126
+ mkdir -p dacapo
127
+ pushd dacapo
128
+ wget -q "https://download.dacapobench.org/dacapo-evaluation-git-04132797.zip" -O dacapo-evaluation-git-04132797.zip
129
+ popd
118
130
- name : Unzip DaCapo Chopin git-04132797
119
131
run : |
120
132
pushd dacapo
You can’t perform that action at this time.
0 commit comments