-
Notifications
You must be signed in to change notification settings - Fork 40
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!
Filter pull requests by the default branch with base:master.