Skip to content

Roll pinned Rust toolchain automatically#1099

Open
joshlf wants to merge 1 commit intoAeneasVerif:mainfrom
joshlf:roll-rustc
Open

Roll pinned Rust toolchain automatically#1099
joshlf wants to merge 1 commit intoAeneasVerif:mainfrom
joshlf:roll-rustc

Conversation

@joshlf
Copy link
Copy Markdown
Contributor

@joshlf joshlf commented Apr 16, 2026

No description provided.

@Nadrieril
Copy link
Copy Markdown
Member

Nadrieril commented Apr 17, 2026

I don't know, the current process works pretty well. This would also add unnecessary pressure for us to fix these builds. Moreover jumping many nightlies at once probably reduces work because complex changes typically land over several PRs and updating for every interpediate state is wasteful.

@joshlf
Copy link
Copy Markdown
Contributor Author

joshlf commented Apr 17, 2026

Would it be better if, on failure, this just silently aborted, and only uploaded PRs which will definitely work? Ie, remove only the most manual and mindless part of the workflow?

@Nadrieril
Copy link
Copy Markdown
Member

Nadrieril commented Apr 17, 2026

Said differently, the resource we're currently optimizing for in this project is my personal capacity. Anything that unduly asks more of me is a loss. Keeping up-to-date with nightlies is not at all a priority overall

@Nadrieril
Copy link
Copy Markdown
Member

You could turn this into a script that I run myself and updates everything to a toolchain date I give it, that would help. I'm skeptical of the benefits of github action automation

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