From ceaad0372055ed0064121020fea032fdda429779 Mon Sep 17 00:00:00 2001 From: Georg Brandl Date: Tue, 1 Sep 2020 14:17:47 +0200 Subject: demo: rebuild WASM with every push --- .github/actions/pyodide-package/action.yml | 5 +++++ .github/workflows/docs.yaml | 8 ++++---- 2 files changed, 9 insertions(+), 4 deletions(-) create mode 100644 .github/actions/pyodide-package/action.yml (limited to '.github') diff --git a/.github/actions/pyodide-package/action.yml b/.github/actions/pyodide-package/action.yml new file mode 100644 index 00000000..2187cd9f --- /dev/null +++ b/.github/actions/pyodide-package/action.yml @@ -0,0 +1,5 @@ +name: 'Update Pyodide package' +description: 'Update the WASM compiled Pygments with Pyodide' +runs: + using: 'docker' + image: 'birkenfeld/pyodide-pygments-builder' diff --git a/.github/workflows/docs.yaml b/.github/workflows/docs.yaml index 16d1f58f..6a4bb730 100644 --- a/.github/workflows/docs.yaml +++ b/.github/workflows/docs.yaml @@ -15,15 +15,15 @@ jobs: python-version: 3.7 - name: Checkout Pygments uses: actions/checkout@v1 - - name: Checkout Pyodide - run: git clone https://github.com/pygments/pyodide-artifacts - - name: Sphinx install + - name: Install Sphinx run: pip install Sphinx + - name: Create Pyodide WASM package + uses: ./.github/actions/pyodide-package - name: Sphinx build run: | cd doc WEBSITE_BUILD=1 make dirhtml - cp -a ../pyodide-artifacts/pyodide _build/dirhtml/_static + cp -a ../pyodide _build/dirhtml/_static touch _build/dirhtml/.nojekyll echo -e 'pygments.org\nwww.pygments.org' > _build/dirhtml/CNAME echo 'Automated deployment of docs for GitHub pages.' > _build/dirhtml/README -- cgit v1.2.1