Skip to content

Conversation

@github-actions
Copy link

@github-actions github-actions bot commented Apr 1, 2025

Bumping the toolchain version as part of a git subtree push

current toolchain (nightly-2025-01-02):

  • 1.85.0-nightly (45d11e51b 2025-01-01)

latest toolchain (nightly-2025-04-01):

  • 1.88.0-nightly (0b45675cf 2025-03-31)

@github-actions
Copy link
Author

github-actions bot commented Apr 1, 2025

The subtree-push applied cleanly ✅.

Take a moment to review the changes. You'll also want to Run the Diff-Check job.

Diff-Check Job Parameters:

After CI and the Diff-Check job pass this PR should be good to merge!

ytmimi and others added 3 commits March 31, 2025 22:51
Bumping the toolchain version as part of a git subtree push

current toolchain (nightly-2025-01-02):
  - 1.85.0-nightly (45d11e51b 2025-01-01)

latest toolchain (nightly-2025-04-01):
  - 1.88.0-nightly (0b45675cf 2025-03-31)
@ytmimi ytmimi force-pushed the subtree-push-nightly-2025-04-01 branch from 93b050f to 687bdc6 Compare April 1, 2025 02:55
@ytmimi ytmimi force-pushed the subtree_push_automation branch from 7473c98 to c66c66c Compare April 2, 2025 02:12
@ytmimi ytmimi force-pushed the subtree_push_automation branch from c66c66c to 57ff0b0 Compare December 3, 2025 14:15
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants