-
Notifications
You must be signed in to change notification settings - Fork 0
Pull requests: pulseengine/rivet
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
fix(serve): preserve response status through wrap_full_page middleware
#213
opened Apr 25, 2026 by
avrabe
Contributor
Loading…
3 of 5 tasks
fix(verus): correct vstd lemma paths + matches!→is + lemma_div_multiples_vanish
#212
opened Apr 25, 2026 by
avrabe
Contributor
Loading…
1 of 3 tasks
fix(tests/playwright): batch stale-test cleanups (5 of 10)
#211
opened Apr 25, 2026 by
avrabe
Contributor
Loading…
3 tasks
fix(proofs): restore Validation.v import + replace Admitted with proofs
#210
opened Apr 25, 2026 by
avrabe
Contributor
Loading…
fix(ci): Kani PR-smoke + Mutation shard + Verus log upload
#209
opened Apr 25, 2026 by
avrabe
Contributor
Loading…
4 tasks
feat(rivet-core): CoverageStore for external coverage evidence (witness consumer)
#208
opened Apr 25, 2026 by
avrabe
Contributor
Loading…
4 of 5 tasks
feat: provenance lifecycle — mark/apply/clear + Claude hooks
#125
opened Apr 6, 2026 by
avrabe
Contributor
Loading…
3 tasks done
ProTip!
Exclude everything labeled
bug with -label:bug.