Update links (#1805)

This commit is contained in:
Lianmin Zheng
2024-10-26 04:46:01 -07:00
committed by GitHub
parent 6aa94b967c
commit 9084a86445
8 changed files with 15 additions and 36 deletions

View File

@@ -27,7 +27,7 @@ jobs:
- name: Execute notebooks
run: |
cd docs/en
cd docs
for nb in *.ipynb; do
if [ -f "$nb" ]; then
echo "Executing $nb"
@@ -38,7 +38,7 @@ jobs:
done
build-and-deploy:
if: github.event_name == 'push' && github.ref == 'refs/heads/main'
if: github.repository == 'sgl-project/sglang'
runs-on: 1-gpu-runner
steps:
- name: Checkout code
@@ -58,21 +58,21 @@ jobs:
- name: Build documentation
run: |
cd docs/en
cd docs
make html
- name: Push to sgl-project.github.io
env:
GITHUB_TOKEN: ${{ secrets.PAT_TOKEN }}
run: |
cd docs/en/_build/html
cd docs/_build/html
git clone https://$GITHUB_TOKEN@github.com/sgl-project/sgl-project.github.io.git ../sgl-project.github.io
cp -r * ../sgl-project.github.io
cd ../sgl-project.github.io
git config user.name "zhaochenyang20"
git config user.email "zhaochenyang20@gmail.com"
git add .
git commit -m "$(date +'%Y-%m-%d %H:%M:%S') - Update documentation"
git commit -m "Update $(date +'%Y-%m-%d %H:%M:%S')"
git push https://$GITHUB_TOKEN@github.com/sgl-project/sgl-project.github.io.git main
cd ..
rm -rf sgl-project.github.io