mirror of
https://github.com/priyanshujain/sanderling.git
synced 2026-10-02 19:17:10 +00:00
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
This commit is contained in:
1 parent
173e80f10e
commit
536702b9cc
1 file changed
+1
-5
@@ -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:
|
||||
|
||||
Reference in new issue
Block a user