* GitHub Actions: Add json problem matcher * Create a problem for testing * Revert "Create a problem for testing" This reverts commit d7735e4af3.
d7735e4af3