Fix suite_result path in locked CI

goblint · Apr 4, 2024 · cc0a268 · cc0a268
1 parent ee1922d
commit cc0a268
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/locked.yml b/.github/workflows/locked.yml
@@ -62,7 +62,7 @@ jobs:
         if: always()
         with:
           name: suite_result-${{ matrix.os }}
-          path: tests/suite_result/
+          path: _build/default/tests/suite_result/
 
   extraction:
     if: ${{ github.event_name == 'workflow_dispatch' || github.event_name == 'schedule' }}