From 28a19dbc4e85d3b8a4ec2ef7483bba64d422b43f Mon Sep 17 00:00:00 2001
From: aky15 <ankeyu.aky@11.17.44.249>
Date: 星期三, 12 四月 2023 18:03:06 +0800
Subject: [PATCH] Merge remote-tracking branch 'origin/main' into dev_aky
---
.github/workflows/main.yml | 13 +++++++++++--
1 files changed, 11 insertions(+), 2 deletions(-)
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index eb60eac..43d1f1d 100644
--- a/.github/workflows/main.yml
+++ b/.github/workflows/main.yml
@@ -5,13 +5,17 @@
- main
push:
branches:
- - dev
+ - dev_wjm
jobs:
docs:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v1
+ - uses: ammaraskar/sphinx-action@master
+ with:
+ docs-folder: "docs/"
+ pre-build-command: "pip install sphinx-markdown-tables nbsphinx jinja2 recommonmark sphinx_rtd_theme"
- uses: ammaraskar/sphinx-action@master
with:
docs-folder: "docs_cn/"
@@ -22,7 +26,12 @@
run: |
mkdir public
touch public/.nojekyll
- cp -r docs_cn/_build/html/* public/
+ mkdir public/en
+ touch public/en/.nojekyll
+ cp -r docs/_build/html/* public/en/
+ mkdir public/cn
+ touch public/cn/.nojekyll
+ cp -r docs_cn/_build/html/* public/cn/
- name: deploy github.io pages
if: github.ref == 'refs/heads/main' || github.ref == 'refs/heads/dev_wjm'
--
Gitblit v1.9.1