Revert removal of step (#1368)

This commit is contained in:
Martin Donath 2019-12-06 16:20:31 +01:00 committed by GitHub
parent ef3dac68a0
commit 6c9e91745e
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -103,7 +103,7 @@ jobs:
git remote set-url origin ${REMOTE} git remote set-url origin ${REMOTE}
# Install theme # Install theme
# - run: python setup.py install - run: python setup.py install
# Build documentation # Build documentation
- run: | - run: |