Code

Rustc pull update#11

Code

Open

github-actions[bot] wants to merge 16 commits intomasterKobzol/rustc-dev-guide:masterfrom rustc-pullKobzol/rustc-dev-guide:rustc-pullCopy head branch name to clipboard

+77-2

Commits

Commits on Jan 8, 2025

• Add CI workflow for performing rustc-pull

  Kobzol

  committed
  79fda33

  Copy full SHA for 79fda33

• Check if there is anything to pull

  Kobzol

  committed
  43c37f4

  Copy full SHA for 43c37f4

• WIP

  Kobzol

  committed
  ef3a86c

  Copy full SHA for ef3a86c

• Error if there is nothing to pull

  Kobzol

  committed
  f60614d

  Copy full SHA for f60614d

• Preparing for merge from rustc

  Kobzol

  committed
  15805e6

  Copy full SHA for 15805e6

• WIP

  Kobzol

  committed
  5bb1310

  Copy full SHA for 5bb1310

• Clean up preparation commit if no pull was performed

  Kobzol

  committed
  007fd8d

  Copy full SHA for 007fd8d

• Update RDG

  Kobzol

  committed
  4a24d5d

  Copy full SHA for 4a24d5d

• WIP

  Kobzol

  committed
  243a580

  Copy full SHA for 243a580

• fixup! Clean up preparation commit if no pull was performed

  Kobzol

  committed
  7a75be5

  Copy full SHA for 7a75be5

• Add comment

  Kobzol

  committed
  3463e92

  Copy full SHA for 3463e92

• Create PR conditionally

  Kobzol

  committed
  47be123

  Copy full SHA for 47be123

• Merge 47be123 into 7d59cb3

  Kobzol

  authored
  6f3c0eb

  Copy full SHA for 6f3c0eb

• Update RDG2

  Kobzol

  committed
  15843e2

  Copy full SHA for 15843e2

• Preparing for merge from rustc

  

  The rustc-dev-guide Cronjob Bot

  committed
  5b95728

  Copy full SHA for 5b95728

• Merge from rustc

  

  The rustc-dev-guide Cronjob Bot

  committed
  fc02e3e

  Copy full SHA for fc02e3e