Skip to content

Update rust toolchain version for Kani 0.20 #2113

Closed
#2149
Closed
Update rust toolchain version for Kani 0.20#2113
#2149
Assignees
celinval
Labels
Z-Sync UpstreamFetch changes from rustc repository. Old Rebase

Description

@celinval
celinval
opened on Jan 12, 2023

Biweekly update for the rust toolchain version. For Kani 0.20, we will target the new year version: nightly-2023-01-16.

Activity

  1. celinval
    added
    Z-Sync UpstreamFetch changes from rustc repository. Old Rebase
    on Jan 12, 2023
  2. celinval
    assigned
    karkhaz
    on Jan 12, 2023

  3. celinval commented on Jan 23, 2023

    @celinval
    celinval
    on Jan 23, 2023
    ContributorAuthor

    #2045 updated the toolchain to nightly-2022-12-11.

  4. celinval
    assigned
    celinval
    and unassigned
    karkhaz
    on Jan 23, 2023
  5. celinval
    added this to Kani 2023-02-13on Jan 23, 2023
  6. feliperodri
    moved this to Todo in Kani 2023-02-13on Jan 24, 2023
  7. celinval
    moved this from Todo to In Progress in Kani 2023-02-13on Jan 25, 2023
  8. celinval
    closed this as completedin #2149on Mar 8, 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