Commit dac5189f31

Loris Cro <kappaloris@gmail.com>
2022-11-25 20:08:57
ci: when running the workflow manually, preserve newer ci folder
This is the main way this feature is supposed to work: 1. you discover that a test started failing at some point but a misconfiguration in the CI script didn't catch that causing a bunch of false negative (ie false green) CIs over time 2. you fix the script and now want to figure out when the test started failing 3. you want to rebuild older commits, potentially only on specific targets, but with the new fixed CI script that correctly catches failures This is what this commit enables
1 parent b97fb48
Changed files (1)
.github
workflows
.github/workflows/ci.yaml
@@ -50,7 +50,12 @@ jobs:
         uses: actions/checkout@v3
       - name: Switch to specific commit
         if: ${{ github.event_name == 'workflow_dispatch' }}
-        run: git checkout ${{ inputs.commit }}
+        run: |
+          rf -rf ../ci
+          cp -r ci ../
+          git checkout ${{ inputs.commit }}
+          rm -rf ci
+          mv ../ci .
       - name: Build and Test
         run: sh ./ci/linux/build-x86_64-debug.sh
       - name: Print Version
@@ -63,7 +68,12 @@ jobs:
         uses: actions/checkout@v3
       - name: Switch to specific commit
         if: ${{ github.event_name == 'workflow_dispatch' }}
-        run: git checkout ${{ inputs.commit }}
+        run: |
+          rf -rf ../ci
+          cp -r ci ../
+          git checkout ${{ inputs.commit }}
+          rm -rf ci
+          mv ../ci .
       - name: Build and Test
         run: sh ./ci/linux/build-x86_64-release.sh
   x86_64-macos:
@@ -76,7 +86,12 @@ jobs:
         uses: actions/checkout@v3
       - name: Switch to specific commit
         if: ${{ github.event_name == 'workflow_dispatch' }}
-        run: git checkout ${{ inputs.commit }}
+        run: |
+          rf -rf ../ci
+          cp -r ci ../
+          git checkout ${{ inputs.commit }}
+          rm -rf ci
+          mv ../ci .
       - name: Build and Test
         run: ./ci/macos/build-x86_64.sh
   x86_64-windows:
@@ -89,7 +104,12 @@ jobs:
         uses: actions/checkout@v3
       - name: Switch to specific commit
         if: ${{ github.event_name == 'workflow_dispatch' }}
-        run: git checkout ${{ inputs.commit }}
+        run: |
+          rf -rf ../ci
+          cp -r ci ../
+          git checkout ${{ inputs.commit }}
+          rm -rf ci
+          mv ../ci .
       - name: Build and Test
         run: ./ci/windows/build.ps1
   aarch64-linux:
@@ -100,7 +120,12 @@ jobs:
         uses: actions/checkout@v3
       - name: Switch to specific commit
         if: ${{ github.event_name == 'workflow_dispatch' }}
-        run: git checkout ${{ inputs.commit }}
+        run: |
+          rf -rf ../ci
+          cp -r ci ../
+          git checkout ${{ inputs.commit }}
+          rm -rf ci
+          mv ../ci .
       - name: Build and Test
         run: sh ./ci/linux/build-aarch64.sh
   aarch64-macos:
@@ -113,6 +138,11 @@ jobs:
         uses: actions/checkout@v3
       - name: Switch to specific commit
         if: ${{ github.event_name == 'workflow_dispatch' }}
-        run: git checkout ${{ inputs.commit }}
+        run: |
+          rf -rf ../ci
+          cp -r ci ../
+          git checkout ${{ inputs.commit }}
+          rm -rf ci
+          mv ../ci .
       - name: Build and Test
         run: ./ci/macos/build-aarch64.sh