Code

Add rustbot claim feature#3536

Code

Merged

bors merged 2 commits intorust-lang:masterrust-lang/miri:masterfrom tiif:add_rustbot_feattiif/miri:add_rustbot_featCopy head branch name to clipboardMay 3, 2024

+5

Commits

Commits on May 2, 2024

• Add assign

  tiif

  committed
  1abbbe5

  Copy full SHA for 1abbbe5

Commits on May 3, 2024

• update comments and URL

  RalfJung

  authored
  b83a61b

  Copy full SHA for b83a61b