Remove problem matcher

Fixes #21
This commit is contained in:
Joakim Sørensen 2020-07-14 20:29:42 +02:00 committed by GitHub
parent 637bb438ec
commit 2394c9008b
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -1,7 +1,6 @@
#!/bin/bash #!/bin/bash
## Enable problem matcher ## Enable problem matcher
echo "::add-matcher::.github/problem-matcher.json"
cd "$GITHUB_WORKSPACE" || exit 1 cd "$GITHUB_WORKSPACE" || exit 1