Variant on checkout
This commit is contained in:
parent
6ee3a28f59
commit
4dbd5df09b
2 changed files with 1 additions and 2 deletions
|
|
@ -50,7 +50,7 @@ jobs:
|
||||||
- name: Build and deploy docs (only from master/develop branch)
|
- name: Build and deploy docs (only from master/develop branch)
|
||||||
if: ${{ github.ref == 'refs/heads/develop' || github.ref == 'refs/heads/master'}}
|
if: ${{ github.ref == 'refs/heads/develop' || github.ref == 'refs/heads/master'}}
|
||||||
run: |
|
run: |
|
||||||
git checkout origin v0.9.5
|
git checkout v0.9.5
|
||||||
git checkout develop
|
git checkout develop
|
||||||
git config --global user.email "docbuilder@evennia.com"
|
git config --global user.email "docbuilder@evennia.com"
|
||||||
git config --global user.name "Evennia docbuilder action"
|
git config --global user.name "Evennia docbuilder action"
|
||||||
|
|
|
||||||
|
|
@ -3,7 +3,6 @@
|
||||||
SOURCEDIR = source
|
SOURCEDIR = source
|
||||||
BUILDDIR = build
|
BUILDDIR = build
|
||||||
AUTODOCDIR = $(SOURCEDIR)/api
|
AUTODOCDIR = $(SOURCEDIR)/api
|
||||||
|
|
||||||
# You can set these variables from the command line, and also
|
# You can set these variables from the command line, and also
|
||||||
# from the environment for the first two.
|
# from the environment for the first two.
|
||||||
SPHINXOPTS ?=
|
SPHINXOPTS ?=
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue