Skip to content

Conversation

carolynzech
Copy link
Contributor

Culprit PRs:

For coroutine closures, I opened #3783 to track feature support--adding support for this appears non-trivial, and I didn't want to block toolchain upgrades on it.

Resolves #3781

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

@carolynzech carolynzech requested a review from a team as a code owner December 16, 2024 16:59
@github-actions github-actions bot added the Z-EndToEndBenchCI Tag a PR to run benchmark CI label Dec 16, 2024
@feliperodri feliperodri added this pull request to the merge queue Dec 16, 2024
Merged via the queue into model-checking:main with commit e6f6d7d Dec 16, 2024
28 checks passed
@carolynzech carolynzech deleted the toolchain-2024-12-15 branch December 16, 2024 21:13
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.

Toolchain upgrade to nightly-2024-12-15 failed
2 participants