From 53aba9b80b941b605a577464ec569e8f3179d5b8 Mon Sep 17 00:00:00 2001 From: Brian Staber Date: Wed, 9 Jul 2025 22:33:46 +0200 Subject: [PATCH 1/2] :bug: Remove useless page --- docs/onboarding/onboarding.md | 1 - 1 file changed, 1 deletion(-) delete mode 100644 docs/onboarding/onboarding.md diff --git a/docs/onboarding/onboarding.md b/docs/onboarding/onboarding.md deleted file mode 100644 index 14b4803..0000000 --- a/docs/onboarding/onboarding.md +++ /dev/null @@ -1 +0,0 @@ -# Onboarding \ No newline at end of file From e56786d61572cc552c2701f9773246c2b9eeb924 Mon Sep 17 00:00:00 2001 From: Brian Staber Date: Wed, 9 Jul 2025 22:36:17 +0200 Subject: [PATCH 2/2] Pimp workflow --- .github/workflows/deploy.yml | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/.github/workflows/deploy.yml b/.github/workflows/deploy.yml index 98d7f0d..3f7f514 100644 --- a/.github/workflows/deploy.yml +++ b/.github/workflows/deploy.yml @@ -2,8 +2,9 @@ name: Deploy MkDocs to GitHub Pages on: push: - branches: - - main + branches: [main] + pull_request: + branches: [main] permissions: contents: read @@ -43,6 +44,7 @@ jobs: path: site # MkDocs builds to ./site by default deploy: + if: github.event_name == 'push' needs: build runs-on: ubuntu-latest environment: