Skip to content

Conversation

celinval
Copy link
Contributor

Description of changes:

Changes were required due to:

Resolved issues:

N/A

Related RFC:

Optional #ISSUE-NUMBER.

Call-outs:

Testing:

  • How is this change tested? Existing 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 celinval requested a review from a team as a code owner August 24, 2023 19:23
@celinval celinval added the Z-EndToEndBenchCI Tag a PR to run benchmark CI label Aug 24, 2023
Copy link
Contributor

@zhassan-aws zhassan-aws left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks

@celinval celinval merged commit 8ccdea4 into model-checking:main Aug 24, 2023
@celinval
Copy link
Contributor Author

I merged them since the two failing tests had similar flaky behavior (and times) in the previous toolchain PR:

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Z-EndToEndBenchCI Tag a PR to run benchmark CI
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants