-
Notifications
You must be signed in to change notification settings - Fork 12
Pull requests: model-checking/kani-vscode-extension
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Bump @typescript-eslint/eslint-plugin from 5.62.0 to 8.24.1
dependencies
Pull requests that update a dependency file
javascript
Pull requests that update Javascript code
#165
opened Feb 17, 2025 by
dependabot
bot
Loading…
Bump eslint-plugin-n from 15.7.0 to 17.15.1
dependencies
Pull requests that update a dependency file
javascript
Pull requests that update Javascript code
#164
opened Feb 17, 2025 by
dependabot
bot
Loading…
Bump web-tree-sitter from 0.20.8 to 0.25.1
dependencies
Pull requests that update a dependency file
javascript
Pull requests that update Javascript code
#160
opened Feb 10, 2025 by
dependabot
bot
Loading…
Bump glob from 8.1.0 to 11.0.1
dependencies
Pull requests that update a dependency file
javascript
Pull requests that update Javascript code
#156
opened Feb 7, 2025 by
dependabot
bot
Loading…
Restrict workflow permissions to read-only
#155
opened Feb 7, 2025 by
tautschnig
Loading…
3 tasks done
Bump eslint-plugin-promise from 6.6.0 to 7.2.1
dependencies
Pull requests that update a dependency file
javascript
Pull requests that update Javascript code
#151
opened Feb 7, 2025 by
dependabot
bot
Loading…
Update to use source based coverage instead of line based
#145
opened Feb 6, 2025 by
carolynzech
Loading…
ProTip!
Find all pull requests that aren't related to any open issues with -linked:issue.