* GitHub Actions: Add check executables problem matcher * Create a problem for testing * Revert "Create a problem for testing" This reverts commit 3532b3777f.
3532b3777f