diff --git a/.github/workflows/ci-post-merge.yml b/.github/workflows/ci-post-merge.yml index f32c1b61..e9dbf3aa 100644 --- a/.github/workflows/ci-post-merge.yml +++ b/.github/workflows/ci-post-merge.yml @@ -1,4 +1,4 @@ -name: CI (master only) +name: CI (post-merge) on: push: diff --git a/.github/workflows/upload-doc.yml b/.github/workflows/upload-doc.yml deleted file mode 100644 index d746418b..00000000 --- a/.github/workflows/upload-doc.yml +++ /dev/null @@ -1,36 +0,0 @@ -name: Upload documentation - -on: - push: { branches: [master] } - -permissions: - contents: write - -concurrency: - group: ${{ github.workflow }}-${{ github.ref }} - cancel-in-progress: true - -jobs: - build: - permissions: - contents: write - - runs-on: ubuntu-latest - - steps: - - uses: actions/checkout@v4 - - - uses: actions-rust-lang/setup-rust-toolchain@v1.10.0 - with: { toolchain: nightly } - - - name: Build Docs - run: cargo doc --workspace --all-features --no-deps - - - name: Tweak HTML - run: echo '' > target/doc/index.html - - - name: Deploy to GitHub Pages - uses: JamesIves/github-pages-deploy-action@v4.6.4 - with: - folder: target/doc - single-commit: true