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