New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

#

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

[ci] Roll pinned nightly toolchain #1338

Merged

joshlf merged 1 commit into google:main from google-pr-creation-bot:roll-pinned-nightly-toolchain-to-nightly-2024-05-21-for-main

May 30, 2024

Merged

[ci] Roll pinned nightly toolchain #1338

[ci] Roll pinned nightly toolchain

Google CLA / cla/google succeeded May 22, 2024 in 2s

✅ All contributors are covered under a CLA with Google

See https://cla.developers.google.com/ for more info about Google's Contributor License Agreement (CLA).

ℹ️ Googlers: Go here to view more details and manage scans for this pull request.

Details

The following contributors were found for this pull request:

✅ 1ba89fc Author: @google-pr-creation-bot <github-p****************tion-bot@google.com>

(Only the first commit for a unique contributor is listed.)

View more details on Google CLA