use global multiplier, and disable others

Author: edgarcosta

.github/workflows/CI.yml

@@ -7,6 +7,9 @@ on:
       - main
       - flint-*
 
+env:
+  GLOBAL_MULTIPLIER: 0.1
+
 concurrency:
   # group by workflow and ref; the last slightly strange component ensures that for pull
   # requests, we limit to 1 concurrent job, but for the main branch we don't
@@ -28,6 +31,11 @@ jobs:
       FLINT_TEST_MULTIPLIER: "10"
 
     steps:
+      - name: "Rescale multiplier"
+        run: |
+          echo "FLINT_TEST_MULTIPLIER=$((${FLINT_TEST_MULTIPLIER} * ${GLOBAL_MULTIPLIER}))"
+          echo "FLINT_TEST_MULTIPLIER=$((${FLINT_TEST_MULTIPLIER} * ${GLOBAL_MULTIPLIER}))" >> $GITHUB_ENV
+
       - uses: actions/checkout@v4
 
       - name: "Setup"
@@ -110,6 +118,11 @@ jobs:
       FLINT_TEST_MULTIPLIER: "2"
 
     steps:
+      - name: "Rescale multiplier"
+        run: |
+          echo "FLINT_TEST_MULTIPLIER=$((${FLINT_TEST_MULTIPLIER} * ${GLOBAL_MULTIPLIER}))"
+          echo "FLINT_TEST_MULTIPLIER=$((${FLINT_TEST_MULTIPLIER} * ${GLOBAL_MULTIPLIER}))" >> $GITHUB_ENV
+
       - uses: actions/checkout@v4
 
       - name: "Setup"
@@ -158,6 +171,11 @@ jobs:
       FLINT_TEST_MULTIPLIER: "3"
 
     steps:
+      - name: "Rescale multiplier"
+        run: |
+          echo "FLINT_TEST_MULTIPLIER=$((${FLINT_TEST_MULTIPLIER} * ${GLOBAL_MULTIPLIER}))"
+          echo "FLINT_TEST_MULTIPLIER=$((${FLINT_TEST_MULTIPLIER} * ${GLOBAL_MULTIPLIER}))" >> $GITHUB_ENV
+
       - uses: actions/checkout@v4
 
       - name: "Setup"
@@ -208,7 +226,14 @@ jobs:
     env:
       FLINT_TEST_MULTIPLIER: "2"
 
+    if: false # temporary disabled
+
     steps:
+      - name: "Rescale multiplier"
+        run: |
+          echo "FLINT_TEST_MULTIPLIER=$((${FLINT_TEST_MULTIPLIER} * ${GLOBAL_MULTIPLIER}))"
+          echo "FLINT_TEST_MULTIPLIER=$((${FLINT_TEST_MULTIPLIER} * ${GLOBAL_MULTIPLIER}))" >> $GITHUB_ENV
+
       - uses: actions/checkout@v4
 
       - name: "Setup"
@@ -265,6 +290,11 @@ jobs:
       FLINT_TEST_MULTIPLIER: "5"
 
     steps:
+      - name: "Rescale multiplier"
+        run: |
+          echo "FLINT_TEST_MULTIPLIER=$((${FLINT_TEST_MULTIPLIER} * ${GLOBAL_MULTIPLIER}))"
+          echo "FLINT_TEST_MULTIPLIER=$((${FLINT_TEST_MULTIPLIER} * ${GLOBAL_MULTIPLIER}))" >> $GITHUB_ENV
+
       - uses: actions/checkout@v4
 
       - name: "Setup"
@@ -324,7 +354,14 @@ jobs:
       CC: "gcc"
       FLINT_TEST_MULTIPLIER: "0.5"
 
+    if: false # temporary disabled
+
     steps:
+      - name: "Rescale multiplier"
+        run: |
+          echo "FLINT_TEST_MULTIPLIER=$((${FLINT_TEST_MULTIPLIER} * ${GLOBAL_MULTIPLIER}))"
+          echo "FLINT_TEST_MULTIPLIER=$((${FLINT_TEST_MULTIPLIER} * ${GLOBAL_MULTIPLIER}))" >> $GITHUB_ENV
+
       - uses: actions/checkout@v4
 
       - name: "Setup MinGW"
@@ -371,8 +408,19 @@ jobs:
     name: MSVC (x1)
 
     runs-on: windows-latest
+    env:
+      FLINT_TEST_MULTIPLIER: 1
+      TIMEOUT: 450
 
     steps:
+      - name: "Rescale multiplier (powershell)"
+        run: |
+          $FLINT_TEST_MULTIPLIER = $env:FLINT_TEST_MULTIPLIER * $env:GLOBAL_MULTIPLIER
+          echo "FLINT_TEST_MULTIPLIER=$FLINT_TEST_MULTIPLIER | Out-File -Append -FilePath $env:GITHUB_ENV"
+          $TIMEOUT = $env:TIMEOUT * $env:GLOBAL_MULTIPLIER
+          echo "TIMEOUT=$TIMEOUT | Out-File -Append -FilePath $env:GITHUB_ENV"
+        shell: powershell
+
       - uses: actions/checkout@v4
 
       - name: "Setup cache for dependencies"
@@ -413,8 +461,9 @@ jobs:
       - name: "Check"
         run: |
           cd build
-          set "FLINT_TEST_MULTIPLIER=1"
-          ctest -j5 --output-on-failure --timeout 450
+          set "FLINT_TEST_MULTIPLIER=$env:FLINT_TEST_MULTIPLIER"
+          ctest -j5 --output-on-failure --timeout $env:TIMEOUT
+        shell: powershell
 
 
 
@@ -431,6 +480,11 @@ jobs:
       FLINT_TEST_MULTIPLIER: "1.5"
 
     steps:
+      - name: "Rescale multiplier"
+        run: |
+          echo "FLINT_TEST_MULTIPLIER=$((${FLINT_TEST_MULTIPLIER} * ${GLOBAL_MULTIPLIER}))"
+          echo "FLINT_TEST_MULTIPLIER=$((${FLINT_TEST_MULTIPLIER} * ${GLOBAL_MULTIPLIER}))" >> $GITHUB_ENV
+
       - uses: actions/checkout@v4
 
       - name: "Setup latest Alpine Linux"
@@ -496,6 +550,8 @@ jobs:
       LOCAL: ${{ github.workspace }}/local
       CC: "gcc"
 
+    if: false # temporarily disabled
+
     steps:
       - uses: actions/checkout@v4
 

.github/workflows/push_CI.yml

@@ -24,6 +24,8 @@ jobs:
     env:
       FLINT_TEST_MULTIPLIER: "0.5"
 
+    if: false # temporarily disabled
+
     steps:
       - uses: actions/checkout@v4
 
@@ -107,6 +109,8 @@ jobs:
 
     runs-on: windows-latest
 
+    if: false # temporarily disabled
+
     defaults:
       run:
         shell: C:\cygwin64\bin\bash.exe --login -o igncr '{0}'