chore: test a theory

leanprover · Dec 5, 2023 · 636740c · 636740c
1 parent 2f5198c
commit 636740c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/testbed.yaml b/.github/workflows/testbed.yaml
@@ -148,7 +148,7 @@ jobs:
       - name: Collect Outcomes
         run: ./testbed-collect.py \
           testbed ${{ github.run_id }} ${{ github.run_attempt }} \
-          -o testbed/results.json ${{ inputs.update-index && '-D index' || '' }}
+          ${{ inputs.update-index && '-D index' || '-o testbed/results.json' }}
         env:
           GH_TOKEN: ${{ github.token }}
       - name: Update External Index