From f1b1d536b7fe3d71fbab2e2b7dc01eabcd43670f Mon Sep 17 00:00:00 2001
From: Aron T <aront@fourm.info>
Date: Tue, 22 Jul 2025 17:09:26 +0300
Subject: [PATCH] optimize: eliminate redundant testing after PR merge

- Only run tests on pull requests, skip on pushes to main
- Remove test job dependency from deploy-docs job
- Maintain manual trigger capability for both jobs
- Speeds up documentation deployment by eliminating ~15s redundant testing
- Maintains security with tests still required on all PRs

Following project conventions:
- Branch-based development workflow
- Tests run before merge via PR
- Documentation deploys immediately after merge
- Manual triggers preserved for troubleshooting
---
 .github/workflows/CI.yml | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

diff --git a/.github/workflows/CI.yml b/.github/workflows/CI.yml
index 67dfaa8..36c6cdf 100644
--- a/.github/workflows/CI.yml
+++ b/.github/workflows/CI.yml
@@ -15,6 +15,8 @@ concurrency:
 jobs:
   test:
     name: Julia ${{ matrix.version }} - ${{ matrix.os }} - ${{ matrix.arch }} - ${{ github.event_name }}
+    # Only run tests on pull requests, skip on pushes to main
+    if: github.event_name == 'pull_request' || github.event_name == 'workflow_dispatch'
     runs-on: ${{ matrix.os }}
     strategy:
       fail-fast: false
@@ -40,10 +42,9 @@ jobs:
 
   deploy-docs:
     name: Deploy Documentation
-    runs-on: ubuntu-latest
-    needs: test
-    # Only deploy on push to main (not on PRs) OR manual trigger
+    # Only run deployment on pushes to main (after merge) or manual trigger
     if: (github.event_name == 'push' && github.ref == 'refs/heads/main') || github.event_name == 'workflow_dispatch'
+    runs-on: ubuntu-latest
     steps:
       - uses: actions/checkout@v4
       - uses: julia-actions/setup-julia@v1