From bcc9ef327a77e65b445e63e2758c3c4343819bc8 Mon Sep 17 00:00:00 2001 From: Polesznyák Márk Date: Tue, 23 Sep 2025 16:13:29 +0200 Subject: chore: remove GitHub workflows --- .github/workflows/doc.yml | 30 ------------------------------ 1 file changed, 30 deletions(-) delete mode 100644 .github/workflows/doc.yml (limited to '.github/workflows/doc.yml') diff --git a/.github/workflows/doc.yml b/.github/workflows/doc.yml deleted file mode 100644 index d588468..0000000 --- a/.github/workflows/doc.yml +++ /dev/null @@ -1,30 +0,0 @@ -name: Pages - -on: - push: - branches: - - master - workflow_dispatch: - -permissions: - contents: write - -jobs: - pages: - runs-on: ubuntu-latest - steps: - - name: Checkout sources - uses: actions/checkout@v4 - - name: Build documentation - run: cargo doc --verbose --no-deps - - name: Write CNAME file - run: echo 'iced-dialog.pml68.dev' > ./target/doc/CNAME - - name: Copy redirect file as index.html - run: cp docs/redirect.html target/doc/index.html - - name: Deploy documentation - if: github.ref == 'refs/heads/master' - uses: peaceiris/actions-gh-pages@v4 - with: - github_token: ${{ secrets.GITHUB_TOKEN }} - publish_dir: ./target/doc - force_orphan: true -- cgit v1.2.3