File tree Expand file tree Collapse file tree 2 files changed +4
-4
lines changed Expand file tree Collapse file tree 2 files changed +4
-4
lines changed Original file line number Diff line number Diff line change 27
27
28
28
if : steps.cache.outputs.cache-hit != 'true'
29
29
with :
30
- version : ' 10.4 '
30
+ version : ' 11.1.2 '
31
31
- name : Download Z3
32
32
uses :
pavpanchekha/[email protected]
33
33
if : steps.cache.outputs.cache-hit != 'true'
39
39
if : steps.cache.outputs.cache-hit == 'true'
40
40
run : |
41
41
echo "CPATH=/opt/hostedtoolcache/z3/4.8.15/x64/z3-4.8.15-x64-glibc-2.31/include" >> $GITHUB_ENV
42
- echo "GHIDRA_INSTALL_DIR=/opt/hostedtoolcache/ghidra/10.4 /x64" >> $GITHUB_ENV
42
+ echo "GHIDRA_INSTALL_DIR=/opt/hostedtoolcache/ghidra/11.1.2 /x64" >> $GITHUB_ENV
43
43
- name : Setup Z3
44
44
run : |
45
45
cp $CPATH/../bin/com.microsoft.z3.jar $GITHUB_WORKSPACE/lib/com.microsoft.z3.jar
Original file line number Diff line number Diff line change 27
27
28
28
if : steps.cache.outputs.cache-hit != 'true'
29
29
with :
30
- version : ' 10.4 '
30
+ version : ' 11.1.2 '
31
31
- name : Download Z3
32
32
uses :
pavpanchekha/[email protected]
33
33
if : steps.cache.outputs.cache-hit != 'true'
39
39
if : steps.cache.outputs.cache-hit == 'true'
40
40
run : |
41
41
echo "CPATH=/opt/hostedtoolcache/z3/4.8.15/x64/z3-4.8.15-x64-glibc-2.31/include" >> $GITHUB_ENV
42
- echo "GHIDRA_INSTALL_DIR=/opt/hostedtoolcache/ghidra/10.4 /x64" >> $GITHUB_ENV
42
+ echo "GHIDRA_INSTALL_DIR=/opt/hostedtoolcache/ghidra/11.1.2 /x64" >> $GITHUB_ENV
43
43
- name : Setup Z3
44
44
run : |
45
45
cp $CPATH/../bin/com.microsoft.z3.jar $GITHUB_WORKSPACE/lib/com.microsoft.z3.jar
You can’t perform that action at this time.
0 commit comments