Support for Lean language build errors#21

Vierkantor wants to merge 1 commit intoliskin:masterliskin/gh-problem-matcher-wrap:masterfrom

leanprover-community:lean-supportleanprover-community/gh-problem-matcher-wrap:lean-supportCopy head branch name to clipboard