force "HEAD" for non-CI and git_upstream_merge_base
for CI environment#131358
Merged
bors merged 2 commits intorust-lang:masterfrom Oct 13, 2024
Merged
force "HEAD" for non-CI and `git_upstream_merge_base` for CI environment#131358bors merged 2 commits intorust-lang:masterfrom
bors merged 2 commits intorust-lang:masterfrom