diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-04-25 17:19:21 +0100 |
---|---|---|
committer | GitHub <[email protected]> | 2020-04-25 17:19:21 +0100 |
commit | 67afeebaf597765828801d7cddcb2976a0ee135d (patch) | |
tree | 02b8ad1160ca41bb2a70b142d4fbfcab2e7e7281 /.github/workflows/ci.yaml | |
parent | fc57358efda7c028cbe8a438446cce5f540f48ca (diff) | |
parent | 3cf2c3b943a5b373dbd333622c16f3d606fdb6ab (diff) |
Merge #4137
4137: Prefer core/alloc paths on #![no_std] r=matklad a=jonas-schievink
Co-authored-by: Jonas Schievink <[email protected]>
Diffstat (limited to '.github/workflows/ci.yaml')
0 files changed, 0 insertions, 0 deletions