Respect [skip-ci] comments in lanuchers and spec tests

Author: WojciechMazur

.github/workflows/launchers.yml

@@ -7,6 +7,8 @@ jobs:
   linux-x86_64:
     name: Deploy and Test on Linux x64 architecture
     runs-on: ubuntu-latest
+    if: (github.event_name == 'pull_request' && !contains(github.event.pull_request.body, '[skip ci]') ) ||
+        (github.event_name == 'workflow_dispatch' && github.repository == 'scala/scala3' )
     steps:
       - uses: actions/checkout@v4
       - name: Set up JDK 17
@@ -43,6 +45,8 @@ jobs:
   mac-x86_64:
     name: Deploy and Test on Mac x64 architecture
     runs-on: macos-13
+    if: (github.event_name == 'pull_request' && !contains(github.event.pull_request.body, '[skip ci]') ) ||
+        (github.event_name == 'workflow_dispatch' && github.repository == 'scala/scala3' )
     steps:
       - uses: actions/checkout@v4
       - name: Set up JDK 17
@@ -62,6 +66,8 @@ jobs:
   mac-aarch64:
     name: Deploy and Test on Mac ARM64 architecture
     runs-on: macos-latest
+    if: (github.event_name == 'pull_request' && !contains(github.event.pull_request.body, '[skip ci]') ) ||
+        (github.event_name == 'workflow_dispatch' && github.repository == 'scala/scala3' )
     steps:
       - uses: actions/checkout@v4
       - name: Set up JDK 17
@@ -81,6 +87,8 @@ jobs:
   win-x86_64:
     name: Deploy and Test on Windows x64 architecture
     runs-on: windows-latest
+    if: (github.event_name == 'pull_request' && !contains(github.event.pull_request.body, '[skip ci]') ) ||
+        (github.event_name == 'workflow_dispatch' && github.repository == 'scala/scala3' )
     steps:
       - uses: actions/checkout@v4
       - name: Set up JDK 17

.github/workflows/spec.yml

@@ -16,6 +16,10 @@ env:
 jobs:
   specification:
     runs-on: ubuntu-latest
+    if: (github.event_name == 'pull_request' && !contains(github.event.pull_request.body, '[skip ci]'))  ||
+        (github.event_name == 'workflow_dispatch' && github.repository == 'scala/scala3') ||
+        github.event_name == 'push' ||
+        github.event_name == 'merge_group'
     defaults:
       run:
         working-directory: ./docs/_spec