diff options
| author | Laurențiu Nicola <[email protected]> | 2020-07-01 18:51:09 +0100 |
|---|---|---|
| committer | Laurențiu Nicola <[email protected]> | 2020-07-01 18:51:09 +0100 |
| commit | ddcd98f604f05034e89053b8c9cc8ab08f270aa7 (patch) | |
| tree | 21058cb47eb8e00276c24ef1cd267a945cfa6f49 /.github/workflows/ci.yaml | |
| parent | ec1d1a1b709a6eafff07077cdf75291d01cda3b6 (diff) | |
Disable optimizations for tracing-attributes
Diffstat (limited to '.github/workflows/ci.yaml')
0 files changed, 0 insertions, 0 deletions