-
Notifications
You must be signed in to change notification settings - Fork 41
Pull requests: leanprover/vscode-lean4
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
feat: skip infoview breaking test on major version bump
#459
opened Jun 3, 2024 by
joneugster
Loading…
1 task
ProTip!
Find all pull requests that aren't related to any open issues with -linked:issue.