diff options
Diffstat (limited to 'library/stdarch')
| -rw-r--r-- | library/stdarch/.github/workflows/doc.yml | 25 |
1 files changed, 0 insertions, 25 deletions
diff --git a/library/stdarch/.github/workflows/doc.yml b/library/stdarch/.github/workflows/doc.yml deleted file mode 100644 index d2887b369a3..00000000000 --- a/library/stdarch/.github/workflows/doc.yml +++ /dev/null @@ -1,25 +0,0 @@ -name: Docs - -on: - push: - branches: - - master - -jobs: - docs: - name: Publish Documentation - runs-on: ubuntu-latest - steps: - - uses: actions/checkout@v4 - - name: Install Rust - run: rustup update nightly --no-self-update && rustup default nightly - - run: ci/dox.sh - env: - CI: 1 - - name: Publish documentation - run: | - cd target/doc - git init - git add . - git -c user.name='ci' -c user.email='ci' commit -m init - git push -f -q https://git:${{ secrets.github_token }}@github.com/${{ github.repository }} HEAD:gh-pages |