Skip to content

Update rust toolchain version to nightly-2023-04-16 #2383

New issue
New issue
Closed
#2406
Closed
Update rust toolchain version to nightly-2023-04-16#2383
#2406
Assignees
celinval
Labels
Z-Sync UpstreamFetch changes from rustc repository. Old Rebase

Description

@celinval
celinval
opened on Apr 17, 2023

We are running a bit late on our toolchain version, so we have some catching up to do.

Activity

  1. celinval
    added this to Kani 2023-05-08on Apr 17, 2023
  2. celinval
    self-assigned this
    on Apr 17, 2023
  3. celinval
    converted this from a draft issue on Apr 17, 2023
  4. adpaco
    added
    Z-Sync UpstreamFetch changes from rustc repository. Old Rebase
    on Apr 18, 2023
  5. celinval
    changed the title [-]Toolchain upgrade April 16th[/-] [+]Update rust toolchain version to nightly-2023-04-16[/+] on Apr 18, 2023
  6. celinval
    moved this to In Progress in Kani 2023-05-08on Apr 27, 2023
  7. celinval
    closed this as completedin #2406on May 16, 2023
  8. celinval
    added this to Kani 2023-05-29on May 16, 2023
  9. feliperodri
    moved this to Done in Kani 2023-05-29on May 18, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

Labels

Z-Sync UpstreamFetch changes from rustc repository. Old Rebase

Type

No type

Projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions