Need 'fi'

runtimeverification · Mar 16, 2024 · cd13df3 · cd13df3
1 parent 59d34c9
commit cd13df3
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/action.yaml b/action.yaml
@@ -63,4 +63,5 @@ runs:
           python3 ${{ github.action_path }}/src/automerge.py --org ${{ inputs.org }} --repo ${{ inputs.repo }} --comment
         else
           python3 ${{ github.action_path }}/src/automerge.py --org ${{ inputs.org }} --repo ${{ inputs.repo }} ${{ inputs.debug }}
+        fi