diff options
| author | N-R-K <79544946+N-R-K@users.noreply.github.com> | 2022-02-20 07:55:17 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-02-20 13:55:17 +0600 |
| commit | 3cf4fc5e816cdda1ae2108987b9558ea6968b9e9 (patch) | |
| tree | 659365328c907f8f9b51909ec4d50c02af730f59 /.gitignore | |
| parent | 79556e9b02c399eff9a684463847f1c63d3322a1 (diff) | |
Fix broken ci and enable higher level optimization (#220)
* [ci] fix broken ci
* [ci] enable higher optimization level and lto
higher optimization levels enable more warnings and deeper analysis.
likewise, lto can catch a couple errors which typically goes unnoticed
without it.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions