diff options
| author | Gary Guo <gary@garyguo.net> | 2026-04-28 14:10:57 +0100 |
|---|---|---|
| committer | Gary Guo <gary@garyguo.net> | 2026-05-10 22:58:34 +0100 |
| commit | 0ba33edb310541ed6194fb27841db1a12b90a02c (patch) | |
| tree | 08cef44403941e2ea0364f81bb62b1506c48e2a4 /rust/zerocopy/src/pointer/git@git.tavy.me:linux-stable.git | |
| parent | 38a07ef981983d3ed48f781d861d81fe1475f8df (diff) | |
rust: pin-init: fix badge URL in README
The old CI workflow has been deleted ~1 year ago. Fix the URL to point to
the correct one.
Link: https://patch.msgid.link/20260428-pin-init-sync-v1-8-07f9bd3859fb@garyguo.net
Signed-off-by: Gary Guo <gary@garyguo.net>
Diffstat (limited to 'rust/zerocopy/src/pointer/git@git.tavy.me:linux-stable.git')
0 files changed, 0 insertions, 0 deletions