expand

model-checking · Sep 15, 2023 · 1e7a9b6 · 1e7a9b6
1 parent ed9b119
commit 1e7a9b6
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/test-action.yml b/.github/workflows/test-action.yml
@@ -26,7 +26,7 @@ jobs:
       - name: Debug previous step
         id: debug_step
         env:
-          S_OUTPUT: ${{ steps.set_error.outputs }}
+          S_OUTPUT: ${{ steps.set_error.outputs.test }}
         run: echo "The selected color is $S_OUTPUT"
 
       - name: Run Kani with older version