diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2021-03-20 22:44:47 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-03-20 22:44:47 +0100 |
| commit | fcddd8c53a6402b8fdf999667a991f3953c6abbc (patch) | |
| tree | 3dd8b30f539bf16a07508d99c93670563432d806 /.github/workflows | |
| parent | 992de9c053720f7a2d6f7144297486f6ebfa32ff (diff) | |
| parent | 0b298d201e6010daff369821951c67fbb4e63a10 (diff) | |
Merge pull request #46966 from qarmin/faster_release
Allow to not optimize release build
Diffstat (limited to '.github/workflows')
0 files changed, 0 insertions, 0 deletions