Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Tracking issue for Kani's unstable async library, feature async-lib #2559

Open
fzaiser opened this issue Jun 23, 2023 · 1 comment
Open

Tracking issue for Kani's unstable async library, feature async-lib #2559

fzaiser opened this issue Jun 23, 2023 · 1 comment
Labels
T-TrackingIssue Issues used to track a large amount of work related to a feature

Comments

@fzaiser
Copy link
Contributor

fzaiser commented Jun 23, 2023

This feature was introduced in #1659.
@rahulku rahulku added the T-RFC Label RFC PRs and Issues label Sep 22, 2023
@celinval celinval added T-TrackingIssue Issues used to track a large amount of work related to a feature and removed T-RFC Label RFC PRs and Issues labels Sep 22, 2023
@celinval
Copy link
Contributor

closing this in favor of #1393

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
T-TrackingIssue Issues used to track a large amount of work related to a feature
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
3 participants
@rahulku @fzaiser @celinval