diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2021-05-27 09:59:53 +0100 |
|---|---|---|
| committer | GitHub <[email protected]> | 2021-05-27 09:59:53 +0100 |
| commit | bfb06e17acd4bcb623ad5656490a7a1971980441 (patch) | |
| tree | 3adb53528c85bbc19d156d81a22dfb68b23fbd57 /.github/workflows/metrics.yaml | |
| parent | a9a978e0bb418b540bd4ede0cc5a16bfb1c79baf (diff) | |
| parent | 7d8f701e99885c8d972f05311f9a7ac7a8dda180 (diff) | |
Merge #9022
9022: internal: disable debuginfo afterall r=matklad a=matklad
bors r+
🤖
Co-authored-by: Aleksey Kladov <[email protected]>
Diffstat (limited to '.github/workflows/metrics.yaml')
0 files changed, 0 insertions, 0 deletions