@@ -98,23 +98,23 @@ jobs:
9898 restore-keys : |
9999 ${{ runner.os }}-pip-
100100
101- - name : Setup Drawio
102- run : |
103- set -eo pipefail
101+ # - name: Setup Drawio
102+ # run: |
103+ # set -eo pipefail
104104
105- drawio_arch=amd64
106- drawio_version=18.1.3
107- drawio_sha256sum=39a50f25ad52d6909c5c18d89a7cfc193e8e31fb98458a390c0a0709d22e9e10
105+ # drawio_arch=amd64
106+ # drawio_version=18.1.3
107+ # drawio_sha256sum=39a50f25ad52d6909c5c18d89a7cfc193e8e31fb98458a390c0a0709d22e9e10
108108
109- drawio_deb="drawio-${drawio_arch}-${drawio_version}.deb"
110- drawio_url="https://github.com/jgraph/drawio-desktop/releases/download/v${drawio_version}/${drawio_deb}"
109+ # drawio_deb="drawio-${drawio_arch}-${drawio_version}.deb"
110+ # drawio_url="https://github.com/jgraph/drawio-desktop/releases/download/v${drawio_version}/${drawio_deb}"
111111
112- curl -L -o "$drawio_deb" "$drawio_url" &
113- sudo apt-get install -y libasound2t64 xvfb &
114- wait
112+ # curl -L -o "$drawio_deb" "$drawio_url" &
113+ # sudo apt-get install -y libasound2t64 xvfb &
114+ # wait
115115
116- sha256sum --check <<<"${drawio_sha256sum} $drawio_deb"
117- sudo apt-get install -y ./"$drawio_deb"
116+ # sha256sum --check <<<"${drawio_sha256sum} $drawio_deb"
117+ # sudo apt-get install -y ./"$drawio_deb"
118118
119119 - name : Prepare for Building Docs
120120 run : |
@@ -162,7 +162,8 @@ jobs:
162162 git pull origin gh-pages --depth=1 || echo "No remote changes to pull"
163163 git checkout master
164164
165- xvfb-run -a mike deploy -pu ${{ needs.Get-Latest-Version.outputs.tag }} latest
165+ # xvfb-run -a mike deploy -pu ${{ needs.Get-Latest-Version.outputs.tag }} latest
166+ mike deploy -pu ${{ needs.Get-Latest-Version.outputs.tag }} latest
166167 mike set-default -p latest
167168
168169 - name : Deploy Dev
@@ -197,4 +198,5 @@ jobs:
197198 git checkout master
198199
199200 cd $WORKING_PATH
200- xvfb-run -a mike deploy -pu dev
201+ # xvfb-run -a mike deploy -pu dev
202+ mike deploy -pu dev
0 commit comments