diff options
| author | Thomas Lively <tlively@google.com> | 2023-10-06 16:15:33 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-10-06 16:15:33 -0700 |
| commit | 9c1107d17c0b7223bd377d9ab4f36fe54ef07c7d (patch) | |
| tree | a169c742c45bae3aa24093b944920cff70e21b3c /src | |
| parent | 2c546d36dc3feb8ed77b6d265168ea9d549d7d5e (diff) | |
| download | binaryen-9c1107d17c0b7223bd377d9ab4f36fe54ef07c7d.tar.gz binaryen-9c1107d17c0b7223bd377d9ab4f36fe54ef07c7d.tar.bz2 binaryen-9c1107d17c0b7223bd377d9ab4f36fe54ef07c7d.zip | |
Configure codecov to be less intrusive (#6000)
Disable codecov GitHub comments and PR-specific coverage checks.
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions