Skip PR CI for Ports/IOSPort changes (#4282)

Added `Ports/IOSPort/**` to `paths-ignore` in `pr.yml` to prevent the PR workflow from running when only files in the iOS port are modified.

Co-authored-by: google-labs-jules[bot] <161369871+google-labs-jules[bot]@users.noreply.github.com>

Author: google-labs-jules[bot]

.github/workflows/pr.yml

@@ -12,6 +12,7 @@ on:
       - '**/*.md'
       - '.github/workflows/developer-guide-docs.yml'
       - 'CodenameOneDesigner/**'
+      - 'Ports/IOSPort/**'
   push:
     branches:
       - master
@@ -23,6 +24,7 @@ on:
       - '**/*.md'
       - '.github/workflows/developer-guide-docs.yml'
       - 'CodenameOneDesigner/**'
+      - 'Ports/IOSPort/**'
 
 permissions:
   contents: write