ci: requires test_gitoxide and lockfile for both bors success and failure#12026
Merged
bors merged 1 commit intorust-lang:masterfrom weihanglo:ci3Apr 24, 2023
+16-2
test_gitoxide and lockfile for both bors success and failure#12026