docs:simplify GitHub Actions.

pull/1513/head
Haotian Zhang 7 months ago
parent 62d304887e
commit c0629df5df

@ -52,6 +52,7 @@ jobs:
else
echo "matrix=[17]" >> $GITHUB_OUTPUT
fi
echo $GITHUB_OUTPUT
shopt -u nocasematch
check-matrix:
runs-on: ubuntu-latest

Loading…
Cancel
Save