diff options
| author | Rodrigo Arias Mallo <rodarima@gmail.com> | 2025-02-18 23:07:10 +0100 |
|---|---|---|
| committer | Rodrigo Arias Mallo <rodarima@gmail.com> | 2025-02-19 00:14:04 +0100 |
| commit | fbd719f93ab659fec6c42952e76f5e5b971728be (patch) | |
| tree | 8ee46eedfee6bc6fd300566633bab40355f304c9 /test/html/manual | |
| parent | 20ad6f765ed229411bb0b26c3cebcaa03346e739 (diff) | |
Add -std=c++11 to CI build pipeline
Ensure that we don't accidentally add newer features by building with
-std=c++11 only on the CI build.
Diffstat (limited to 'test/html/manual')
0 files changed, 0 insertions, 0 deletions