authorgravatar for kappaloris@gmail.comLoris Cro <kappaloris@gmail.com> 2022-11-25 20:08:57+01:00
committergravatar for kappaloris@gmail.comLoris Cro <kappaloris@gmail.com> 2022-11-25 20:08:57+01:00
logbc90f2ae3cb94cb5282a88a990792dc7a97f4cc7
treeb1e1c86450a74f7a1d7b74aed3707d1332c2102b
parent764651c8405643a539a8a1aeb654803bf978a9b2

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 files changed, 36 insertions(+), 6 deletions(-)

.github/workflows/ci.yaml+36-6
......@@ -50,7 +50,12 @@ jobs:
5050 uses: actions/checkout@v3
5151 - name: Switch to specific commit
5252 if: ${{ github.event_name == 'workflow_dispatch' }}
53 run: git checkout ${{ inputs.commit }}
53 run: |
54 rf -rf ../ci
55 cp -r ci ../
56 git checkout ${{ inputs.commit }}
57 rm -rf ci
58 mv ../ci .
5459 - name: Build and Test
5560 run: sh ./ci/linux/build-x86_64-debug.sh
5661 - name: Print Version
......@@ -63,7 +68,12 @@ jobs:
6368 uses: actions/checkout@v3
6469 - name: Switch to specific commit
6570 if: ${{ github.event_name == 'workflow_dispatch' }}
66 run: git checkout ${{ inputs.commit }}
71 run: |
72 rf -rf ../ci
73 cp -r ci ../
74 git checkout ${{ inputs.commit }}
75 rm -rf ci
76 mv ../ci .
6777 - name: Build and Test
6878 run: sh ./ci/linux/build-x86_64-release.sh
6979 x86_64-macos:
......@@ -76,7 +86,12 @@ jobs:
7686 uses: actions/checkout@v3
7787 - name: Switch to specific commit
7888 if: ${{ github.event_name == 'workflow_dispatch' }}
79 run: git checkout ${{ inputs.commit }}
89 run: |
90 rf -rf ../ci
91 cp -r ci ../
92 git checkout ${{ inputs.commit }}
93 rm -rf ci
94 mv ../ci .
8095 - name: Build and Test
8196 run: ./ci/macos/build-x86_64.sh
8297 x86_64-windows:
......@@ -89,7 +104,12 @@ jobs:
89104 uses: actions/checkout@v3
90105 - name: Switch to specific commit
91106 if: ${{ github.event_name == 'workflow_dispatch' }}
92 run: git checkout ${{ inputs.commit }}
107 run: |
108 rf -rf ../ci
109 cp -r ci ../
110 git checkout ${{ inputs.commit }}
111 rm -rf ci
112 mv ../ci .
93113 - name: Build and Test
94114 run: ./ci/windows/build.ps1
95115 aarch64-linux:
......@@ -100,7 +120,12 @@ jobs:
100120 uses: actions/checkout@v3
101121 - name: Switch to specific commit
102122 if: ${{ github.event_name == 'workflow_dispatch' }}
103 run: git checkout ${{ inputs.commit }}
123 run: |
124 rf -rf ../ci
125 cp -r ci ../
126 git checkout ${{ inputs.commit }}
127 rm -rf ci
128 mv ../ci .
104129 - name: Build and Test
105130 run: sh ./ci/linux/build-aarch64.sh
106131 aarch64-macos:
......@@ -113,6 +138,11 @@ jobs:
113138 uses: actions/checkout@v3
114139 - name: Switch to specific commit
115140 if: ${{ github.event_name == 'workflow_dispatch' }}
116 run: git checkout ${{ inputs.commit }}
141 run: |
142 rf -rf ../ci
143 cp -r ci ../
144 git checkout ${{ inputs.commit }}
145 rm -rf ci
146 mv ../ci .
117147 - name: Build and Test
118148 run: ./ci/macos/build-aarch64.sh