Skip to content
New issue

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

Sign up for GitHub

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

Already on GitHub? Sign in to your account

Jump to bottom

Make the Rust compiler run on nightly once it passes all tests #5560

Open
MikaelMayer opened this issue Jun 14, 2024 · 0 comments
Open

Make the Rust compiler run on nightly once it passes all tests #5560

MikaelMayer opened this issue Jun 14, 2024 · 0 comments
Labels
part: ci Issue is with Dafny's CI infrastructure part: code-generation Support for transpiling Dafny to another language. If relevant, add a `lang:` tag priority: now Will work on this now

Comments

@MikaelMayer
Copy link
Member

MikaelMayer commented Jun 14, 2024 •
edited
Loading

#5559 and #5564 removed the rust compiler from nightly.
We should revert these PR once Rust passes all tests.
@MikaelMayer MikaelMayer mentioned this issue Jun 14, 2024
Open
16 tasks
@stefan-aws stefan-aws added priority: now Will work on this now part: ci Issue is with Dafny's CI infrastructure part: code-generation Support for transpiling Dafny to another language. If relevant, add a `lang:` tag labels Jun 17, 2024
@MikaelMayer MikaelMayer changed the title Revert #5559 when the Rust compiler passes all tests Make the Rust compiler run on nightly once it passes all tests Jun 17, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
part: ci Issue is with Dafny's CI infrastructure part: code-generation Support for transpiling Dafny to another language. If relevant, add a `lang:` tag priority: now Will work on this now
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@MikaelMayer @stefan-aws