Skip to content
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

Update rust toolchain to 2023-06-22 #2588

Merged
merged 2 commits into from
Jul 7, 2023

Conversation

celinval
Copy link
Contributor

@celinval celinval commented Jul 7, 2023

Description of changes:

Update toolchain and remove dependency on line number since we match exact value only, this generate a lot of noise whenever we update the toolchain.

Resolved issues:

N/A

Related RFC:

N/A

Call-outs:

Testing:

  • How is this change tested? Current tests

  • Is this a refactor change?

Checklist

  • Each commit message has a non-empty body, explaining why the change was made
  • Methods or procedures are documented
  • Regression or unit tests are included, or existing tests cover the modified code
  • My PR is restricted to a single feature or bugfix

By submitting this pull request, I confirm that my contribution is made under the terms of the Apache 2.0 and MIT licenses.

celinval and others added 2 commits July 7, 2023 11:13
Remove dependency on line number since we match exact value only, this generate a lot of noise whenever we update the toolchain.
@celinval celinval requested a review from a team as a code owner July 7, 2023 18:14
@celinval celinval mentioned this pull request Jul 7, 2023
4 tasks
@celinval celinval merged commit eefd724 into model-checking:main Jul 7, 2023
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants