Remove problem matchers before exit (#86)

This commit is contained in:
Joakim Sørensen 2023-01-29 16:46:47 +01:00 committed by GitHub
parent e07831dc6f
commit 84dc45371e
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -230,6 +230,13 @@ runs:
set +f # re-enable globbing set +f # re-enable globbing
- name: Remove problem-matcher
shell: bash
run: |
echo "::remove-matcher owner=shellcheck-gcc::"
echo "::remove-matcher owner=shellcheck-gcc-notice::"
echo "::remove-matcher owner=shellcheck-tty::"
- name: Exit action - name: Exit action
shell: bash shell: bash
run: exit ${{steps.check.outputs.statuscode}} run: exit ${{steps.check.outputs.statuscode}}