docs:simplify GitHub Actions.

pull/1513/head
Haotian Zhang 7 months ago
parent 62c54136df
commit c9f07c39c0

@ -47,6 +47,7 @@ jobs:
else else
echo "matrix=[17]" >> $GITHUB_OUTPUT echo "matrix=[17]" >> $GITHUB_OUTPUT
fi fi
shopt -u nocasematch
junit: junit:
strategy: strategy:
matrix: matrix:

@ -55,6 +55,7 @@ jobs:
else else
echo "jdk=17" >> $GITHUB_OUTPUT echo "jdk=17" >> $GITHUB_OUTPUT
fi fi
shopt -u nocasematch
snapshot: snapshot:
runs-on: ubuntu-latest runs-on: ubuntu-latest
needs: check-snapshot needs: check-snapshot

Loading…
Cancel
Save