diff options
| author | MarcoIeni <11428655+MarcoIeni@users.noreply.github.com> | 2024-11-27 16:17:46 +0100 |
|---|---|---|
| committer | Amanieu d'Antras <amanieu@gmail.com> | 2024-11-28 15:24:24 +0000 |
| commit | f1cadfda0ca86f206e8fd4df897373729d4d7750 (patch) | |
| tree | d05e08cd1fe0661735457f4b68d11040355dd1d6 | |
| parent | 5f434100eb0d3fa77b822b2a968e3fe9d1fb455c (diff) | |
| download | rust-f1cadfda0ca86f206e8fd4df897373729d4d7750.tar.gz rust-f1cadfda0ca86f206e8fd4df897373729d4d7750.zip | |
remove docs publishing
| -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 |