diff options
author | RĂ©mi Verschelde <remi@verschelde.fr> | 2022-11-11 21:41:46 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-11-11 21:41:46 +0100 |
commit | 967c88fcd5363354c3fdda15436437b93dd4575f (patch) | |
tree | 8fec37c16667d757b3728c296f328c48694cdbf8 | |
parent | 4004f3f72ecbf0887aeee20acb8c2b9b97f64ab8 (diff) | |
parent | d3641c9d0d6f2eb96391e5249d6dc21c4baa3417 (diff) |
Merge pull request #68538 from raulsntos/gcc-problem-matcher
-rw-r--r-- | .github/workflows/linux_builds.yml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/.github/workflows/linux_builds.yml b/.github/workflows/linux_builds.yml index 3a92b8ffb4..95d216deb3 100644 --- a/.github/workflows/linux_builds.yml +++ b/.github/workflows/linux_builds.yml @@ -102,6 +102,9 @@ jobs: with: dotnet-version: '6.0.x' + - name: Setup GCC problem matcher + uses: ammaraskar/gcc-problem-matcher@master + - name: Compilation uses: ./.github/actions/godot-build with: |