-
Notifications
You must be signed in to change notification settings - Fork 0
Pull requests: HardMax71/spec_to_rest
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
feat(dafny): definite descriptions over set domains put ecommerce fully on verified kernels
#524
opened Jul 8, 2026 by
HardMax71
Owner
Loading…
build(deps): bump the actions group across 1 directory with 8 updates
dependencies
Pull requests that update a dependency file
github_actions
Pull requests that update GitHub Actions code
#516
opened Jul 4, 2026 by
dependabot
Bot
Loading…
build(deps): bump the docs-npm group in /docs with 5 updates
dependencies
Pull requests that update a dependency file
javascript
Pull requests that update javascript code
#501
opened Jul 2, 2026 by
dependabot
Bot
Loading…
chore(main): release 3.2.0
autorelease: pending
#483
opened Jun 28, 2026 by
github-actions
Bot
Loading…
ProTip!
Type g i on any issue or pull request to go back to the issue listing page.