docs: update reproduction instructions #14562
github-merge-queue[bot]
This run and associated checks have been archived and are scheduled for deletion.
Learn more about checks retention
ci.yml
on: push
aux
4m 39s
build
11m 20s
dashboard
2m 41s
race
8m 3s
race_dashboard
3m 15s
old
7m 6s
gvisor
4m 21s
Matrix: arch