1
1
mirror of https://github.com/enso-org/enso.git synced 2024-12-19 02:51:31 +03:00
enso/.github/workflows/publish-docs.yml

39 lines
1.0 KiB
YAML
Raw Normal View History

2020-09-07 14:24:34 +03:00
name: Publish Developer Docs
on:
push:
branches:
- develop
2020-09-07 14:24:34 +03:00
paths:
- "docs/**"
jobs:
checkout:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v2
with:
repository: "enso-org/enso-org.github.io"
ref: "sources"
2021-02-05 13:12:06 +03:00
token: ${{ secrets.ENSO_DOCS_CI_TOKEN }}
2020-09-07 14:24:34 +03:00
- name: set identity email
run: git config --global user.email "actions@github.com"
- name: set identity name
run: git config --global user.name "GitHub Actions"
- name: Checkout submodules
run: git submodule update --init
- name: Update submodules
id: status
run: |
git submodule update --init
git submodule update --remote --merge
if [ -n "$(git status --porcelain)" ]; then
echo "::set-output name=has_changes::1"
fi
- name: Push changes
run: |
git add .
git commit -m "Update submodules"
git push origin sources
if: steps.status.outputs.has_changes == '1'