Skip to content

Needs the remote

Needs the remote #13

Workflow file for this run

name: Autodoc Update
on:
push:
branches: [ "autodoc-test" ]
env:
CARGO_TERM_COLOR: always
jobs:
update-docs:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v3
with:
ref: 'github-actions-suck'
fetch-depth: 0
- name: Configure Git
run: |
git config --local user.email "docmaster+github-actions[bot]@users.noreply.github.com"
git config --local user.name "github-actions[bot]"
# Similar to `updater_docs.sh` but does not run pandoc
#
# First we must undo our deletion of the workflows (`.github` directory) so we
# don't get merge conflicts
- name: Merge Main
run: |
git checkout --theirs origin/autodoc-test -- .github
git merge origin/autodoc-test --no-edit -sort -Xtheirs
# Amonst other things this removes the `.github` directory, so we don't get
# permission issues of have this bot accidentally deploy a workflow
- name: Prepare
run: |
cargo doc --document-private-items
rm -R docs/libs
cp -R target/doc docs/libs
rm -R .github
- name: Commit Doc Update
run: |
git add docs
git commit -m 'Regenerate Documentation'
- name: Push Doc Update
uses: ad-m/[email protected]
with:
github_token: ${{ secrets.GITHUB_TOKEN }}
branch: 'github-actions-suck'