diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-10-12 20:49:09 +0100 |
---|---|---|
committer | GitHub <[email protected]> | 2020-10-12 20:49:09 +0100 |
commit | 3d13939260f565fe6fb176b15e23201aafc2d11e (patch) | |
tree | 9dd2febf96ab469f00acea3418e1055acc15d999 /crates/ide_db/src/label.rs | |
parent | c518fe7f6ca1c9a15d7d822654303155c90ce695 (diff) | |
parent | e99cb578c99ca574dff6073d673eef9bb96ef4e3 (diff) |
Merge #6208
6208: macOS: install GNU tar r=jonas-schievink a=jonas-schievink
CI runs on macOS have started to fail due to https://github.com/actions/cache/issues/403. Use GNU tar instead of BSD tar to work around that.
Co-authored-by: Jonas Schievink <[email protected]>
Co-authored-by: Jonas Schievink <[email protected]>
Diffstat (limited to 'crates/ide_db/src/label.rs')
0 files changed, 0 insertions, 0 deletions