From 536702b9ccaef1263d20c752f2e39576eaa7e735 Mon Sep 17 00:00:00 2001 From: PJ Date: Sun, 16 Aug 2026 13:11:06 +0530 Subject: [PATCH] ci: run folio on pull requests folio was skipped on pull requests, so ios, android and web only ever ran after a merge. The three legs are 3 to 19 minutes and run in parallel, and a superseded pull request run already cancels itself. Claude-Session: https://claude.ai/code/session_01ShuAy8q8ZfPi8KHxwc8JpQ --- .github/workflows/ci.yml | 6 +----- 1 file changed, 1 insertion(+), 5 deletions(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 34acfd6..0766fc2 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -144,14 +144,12 @@ jobs: # actionlint reads a local action's inputs but never checks that its path # exists: `uses: ./.github/actions/typo` lints clean and fails only when - # the job runs, and the folio jobs and the release job never run on a - # pull request. + # the job runs, and the release and docs jobs never run on a pull request. - name: Check that the workflow references resolve run: .github/scripts/workflow-refs.sh folio-android: name: Folio (android) - if: github.event_name != 'pull_request' runs-on: ubuntu-latest timeout-minutes: 90 env: @@ -200,7 +198,6 @@ jobs: folio-ios: name: Folio (ios) - if: github.event_name != 'pull_request' runs-on: macos-15 timeout-minutes: 90 env: @@ -257,7 +254,6 @@ jobs: folio-web: name: Folio (web) - if: github.event_name != 'pull_request' runs-on: ubuntu-latest timeout-minutes: 60 env: