-
Notifications
You must be signed in to change notification settings - Fork 97
Pull requests: jrh13/hol-light
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Bump actions/checkout from 6 to 7
dependencies
Pull requests that update a dependency file
github_actions
Pull requests that update GitHub Actions code
#190
opened Jun 24, 2026 by
dependabot
Bot
Loading…
Bump pydantic-settings from 2.13.1 to 2.14.2 in /mcp
dependencies
Pull requests that update a dependency file
python:uv
Pull requests that update python:uv code
#189
opened Jun 20, 2026 by
dependabot
Bot
Loading…
Bump cryptography from 46.0.7 to 48.0.1 in /mcp
dependencies
Pull requests that update a dependency file
python:uv
Pull requests that update python:uv code
#188
opened Jun 17, 2026 by
dependabot
Bot
Loading…
Bump starlette from 1.0.0 to 1.3.1 in /mcp
dependencies
Pull requests that update a dependency file
python:uv
Pull requests that update python:uv code
#187
opened Jun 17, 2026 by
dependabot
Bot
Loading…
Bump python-multipart from 0.0.27 to 0.0.31 in /mcp
dependencies
Pull requests that update a dependency file
python:uv
Pull requests that update python:uv code
#186
opened Jun 16, 2026 by
dependabot
Bot
Loading…
Bump pyjwt from 2.12.1 to 2.13.0 in /mcp
dependencies
Pull requests that update a dependency file
python:uv
Pull requests that update python:uv code
#185
opened Jun 16, 2026 by
dependabot
Bot
Loading…
Make a type-annotated binder shadow a like-named constant
#184
opened Jun 15, 2026 by
kings-crown
Contributor
Loading…
nets.ml: speed up discrimination-net lookup
#183
opened Jun 5, 2026 by
aqjune-aws
Contributor
Loading…
Add var type consistency check to e(tac)
#143
opened Jul 31, 2025 by
aqjune-aws
Contributor
Loading…
ProTip!
Type g p on any issue or pull request to go back to the pull request listing page.