-
Notifications
You must be signed in to change notification settings - Fork 23
Pull requests: awslabs/duvet
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
build(deps): bump actions/cache from 5.0.5 to 6.1.0
dependencies
Pull requests that update a dependency file
github_actions
Pull requests that update GitHub Actions code
#232
opened Jun 26, 2026 by
dependabot
Bot
Loading…
build(deps): bump actions/checkout from 6 to 7
dependencies
Pull requests that update a dependency file
github_actions
Pull requests that update GitHub Actions code
#230
opened Jun 18, 2026 by
dependabot
Bot
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!
Add no:assignee to see everything that’s not assigned.