-
Notifications
You must be signed in to change notification settings - Fork 21
Pull requests: dafny-lang/ide-vscode
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Chore: Added confirmation message about which version to publish
#511
opened Dec 24, 2024 by
MikaelMayer
Loading…
Bump actions/download-artifact from 2 to 4.1.7 in /.github/workflows
dependencies
Pull requests that update a dependency file
github_actions
Pull requests that update GitHub Actions code
#493
opened Sep 3, 2024 by
dependabot
bot
Loading…
Bump webpack from 5.76.0 to 5.94.0
dependencies
Pull requests that update a dependency file
#490
opened Aug 30, 2024 by
dependabot
bot
Loading…
Bump braces from 3.0.2 to 3.0.3
dependencies
Pull requests that update a dependency file
#479
opened Jun 17, 2024 by
dependabot
bot
Loading…
Bump word-wrap from 1.2.3 to 1.2.4
dependencies
Pull requests that update a dependency file
#414
opened Jul 19, 2023 by
dependabot
bot
Loading…
Enable custom server arguments to contain spaces
#410
opened Jul 13, 2023 by
keyboardDrummer
•
Draft
Update description of verificationTimeLimit preference
#360
opened Feb 27, 2023 by
keyboardDrummer
Loading…
Bump cacheable-request and got
dependencies
Pull requests that update a dependency file
#354
opened Feb 12, 2023 by
dependabot
bot
Loading…
ProTip!
Type g p on any issue or pull request to go back to the pull request listing page.