diff options
| author | Giacomo Pozzoni <giacomopoz@gmail.com> | 2020-08-21 11:37:58 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-08-21 11:37:58 +0200 |
| commit | f4dc3cbd65f42f9f144c6718d717ac003fa2edc9 (patch) | |
| tree | d8254b7f47ff4c91ea877c4ed34495f076a766ea /src/common/Utilities/TaskScheduler.h | |
| parent | 0531463a3c02d98ed77e9c7689ad7237ecaddc09 (diff) | |
CI/GitHub: Build on GCC (#25288)
* CI/GitHub: Build on GCC
* Mark warnings as errors
Diffstat (limited to 'src/common/Utilities/TaskScheduler.h')
0 files changed, 0 insertions, 0 deletions