diff options
| author | Dario Nieuwenhuis <[email protected]> | 2021-02-28 21:38:10 +0100 |
|---|---|---|
| committer | Dario Nieuwenhuis <[email protected]> | 2021-02-28 21:38:10 +0100 |
| commit | 7139155f2d63a9d99d740a2bb1b2e2964df3e3c3 (patch) | |
| tree | df5b61fc987bcaf72c9152d5fb4b0700a0d0ebd0 /.github/workflows | |
| parent | da917791174510637c69660b10b1e201d22cfe9d (diff) | |
Add code size optimization flags.
Diffstat (limited to '.github/workflows')
0 files changed, 0 insertions, 0 deletions