diff options
| author | Raul Santos <raulsntos@gmail.com> | 2022-10-31 16:21:33 +0100 |
|---|---|---|
| committer | Raul Santos <raulsntos@gmail.com> | 2022-11-11 19:41:36 +0100 |
| commit | d3641c9d0d6f2eb96391e5249d6dc21c4baa3417 (patch) | |
| tree | c2060c977852b1f0699d022e2a959c5bc35a910e /servers | |
| parent | 340fb33e543fb5775e36a7d49d605b4e3a33e5d6 (diff) | |
Add GCC problem matcher to CI
Diffstat (limited to 'servers')
0 files changed, 0 insertions, 0 deletions