diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-08-24 12:14:45 +0100 |
|---|---|---|
| committer | GitHub <[email protected]> | 2020-08-24 12:14:45 +0100 |
| commit | 31cb13dde86ed29cc67e23e6e2ca6e89a19e8b62 (patch) | |
| tree | 4efa019321eebc5ac519fba8ff56625f34539a2b /crates/hir_ty/src/traits | |
| parent | 150e3843b0f84e74c0476954b03e23b16631d5c8 (diff) | |
| parent | 335add49dbd98c13a8dd2b0284cefda00da13ec9 (diff) | |
Merge #4776
4776: Do a weekly minor publish to crates.io r=matklad a=pksunkara
This is the same system I set up on Chalk repo.
Every week it creates a new minor version, pushes it to github and then deploys it to crates.io.
Co-authored-by: Pavan Kumar Sunkara <[email protected]>
Diffstat (limited to 'crates/hir_ty/src/traits')
0 files changed, 0 insertions, 0 deletions