[fix]
This commit is contained in:
parent
73bc798dc1
commit
90da88de18
2 changed files with 5 additions and 5 deletions
|
@ -5,4 +5,4 @@ Xyxh
|
||||||
4456
|
4456
|
||||||
9.7.4 xyxz01x
|
9.7.4 xyxz01x
|
||||||
ab
|
ab
|
||||||
iiiis
|
iiiisA
|
8
.github/actions/install-basex/action.yaml
vendored
8
.github/actions/install-basex/action.yaml
vendored
|
@ -16,18 +16,18 @@ runs:
|
||||||
wget https://files.basex.org/releases/$BASEX_VERSION/BaseX$BASEX_CLEAN_VERSION.zip -O BaseX.zip
|
wget https://files.basex.org/releases/$BASEX_VERSION/BaseX$BASEX_CLEAN_VERSION.zip -O BaseX.zip
|
||||||
|
|
||||||
- name: Unzip BaseX
|
- name: Unzip BaseX
|
||||||
shell: "bash"
|
shell: bash
|
||||||
run: |
|
run: |
|
||||||
unzip BaseX.zip -d $HOME
|
unzip BaseX.zip -d $HOME
|
||||||
rm BaseX.zip
|
rm BaseX.zip
|
||||||
|
|
||||||
- name: Add BaseX to PATH
|
- name: Add BaseX to PATH
|
||||||
shell: "bash"
|
shell: bash
|
||||||
run: |
|
run: |
|
||||||
echo "BASEX_ROOT=$HOME/basex" >> $GITHUB_ENV
|
echo "BASEX_ROOT=$HOME/basex" >> $GITHUB_ENV
|
||||||
echo "PATH=$PATH:$HOME/basex/bin" >> $GITHUB_ENV
|
echo "PATH=$PATH:$HOME/basex/bin" >> $GITHUB_ENV
|
||||||
|
|
||||||
- name: Verify BaseX installation
|
- name: Verify BaseX installation
|
||||||
shell: "bash"
|
shell: bash
|
||||||
run: |
|
run: |
|
||||||
basex -v"
|
basex -v
|
Loading…
Add table
Reference in a new issue