-
Notifications
You must be signed in to change notification settings - Fork 22
Pull requests: awslabs/duvet
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
feat(json_v2): add canonical url to SpecificationAnnotation
#229
opened Jun 11, 2026 by
ajrudzitis
Contributor
Loading…
feat: duvet query — interactive traceability checks with Verus-verified coverage model
#227
opened May 28, 2026 by
seebees
Contributor
Loading…
build(deps): update reqwest requirement from 0.12 to 0.13
dependencies
Pull requests that update a dependency file
rust
Pull requests that update Rust code
#225
opened May 14, 2026 by
dependabot
Bot
Loading…
build(deps): update toml requirement from 0.9 to 1.1
dependencies
Pull requests that update a dependency file
rust
Pull requests that update Rust code
#223
opened May 14, 2026 by
dependabot
Bot
Loading…
build(deps): update v_jsonescape requirement from 0.7 to 0.9
dependencies
Pull requests that update a dependency file
rust
Pull requests that update Rust code
#221
opened May 14, 2026 by
dependabot
Bot
Loading…
fix: add --require-citations and --require-tests validation flags
#177
opened Jun 11, 2025 by
seebees
Contributor
Loading…
ProTip!
Type g p on any issue or pull request to go back to the pull request listing page.