Remove unused output parts

Author: jmid

.github/workflows/common.yml

@@ -64,10 +64,6 @@ on:
           Defaults to custom_compiler_version chunked at [+~-]
         type: string
         default: ''
-    outputs:
-      skippart2:
-        description: 'Whether Part 2 (Cygwin workflow) should be skipped (because we are running only one test)'
-        value: ${{ jobs.test.outputs.skipnextjob }}
 
 jobs:
   test:
@@ -92,9 +88,6 @@ jobs:
 
     timeout-minutes: ${{ inputs.timeout }}
 
-    outputs:
-      skipnextjob: ${{ steps.mainstep.outputs.skipnextjob }}
-
     steps:
       - name: Configure environment (Cygwin)
         run: |

dune

@@ -44,10 +44,6 @@
  (action
   (no-infer
    (progn
-    (system "echo skipnextjob=true >> \"%{env:GITHUB_OUTPUT=dummy_file}\"")
-     ; ^ this is to ensure only one job is run in multi-job GitHub
-     ; workflows (only Cygwin at the moment)
-
     (write-file hoped "")
     (write-file failed-runs "")
     (bash
@@ -63,10 +59,6 @@
  (action
   (no-infer
    (progn
-    (system "echo skipnextjob=true >> %{env:GITHUB_OUTPUT=dummy_file}")
-     ; ^ this is to ensure only one job is run in multi-job GitHub
-     ; workflows (only Cygwin at the moment)
-
     (write-file hoped "")
     (write-file failed-runs "")
     (run cmd /q /c