PerishLab/keel
1
0
Fork 0
Code Issues 7 Pull requests Projects Releases Packages Wiki Activity Actions
Labels Milestones
Search syntax
assignee:<username> Filter by assigned user
author:<username> Filter by the author
is:all All
is:closed Closed
is:open Open
mentions:<username> Filter by mentioned user
modified:[>|<]<date> Filter by last modified date
review:<username> Filter by user who reviewed
sort:<by>:[asc|desc] Sort by: created|comments|updated|deadline
New pull request
0 Open 163 Closed 163 All
Label
Clear labels
Milestone
No milestone
Projects
Clear projects
Assignee
Clear assignees
No assignee
PerishFire
governance: adopt Plumb 0.31 layout
All checks were successful
guard / guard (pull_request) Successful in 2m31s
Details
guard / guard (push) Successful in 2m15s
Details
#170 by PerishFire was merged 2026-08-25 03:49:48 +00:00
main
life: end a container and its contents together
All checks were successful
guard / guard (pull_request) Successful in 2m16s
Details
guard / guard (push) Successful in 1m55s
Details
#169 by PerishFire was merged 2026-08-19 09:48:24 +00:00
main
weigh: read the grants before walking to the root
All checks were successful
guard / guard (pull_request) Successful in 2m13s
Details
guard / guard (push) Successful in 1m54s
Details
#168 by PerishFire was merged 2026-08-19 08:30:34 +00:00
main
cost: measure what a read pays to place a row
All checks were successful
guard / guard (pull_request) Successful in 1m54s
Details
guard / guard (push) Successful in 1m55s
Details
#167 by PerishFire was merged 2026-08-19 08:14:22 +00:00
main
cost: measure what durability costs a write
All checks were successful
guard / guard (pull_request) Successful in 2m4s
Details
guard / guard (push) Successful in 1m55s
Details
#166 by PerishFire was merged 2026-08-19 07:46:10 +00:00
main
life: let a row retire from the ties it declared
All checks were successful
guard / guard (pull_request) Successful in 2m23s
Details
guard / guard (push) Successful in 1m54s
Details
#165 by PerishFire was merged 2026-08-19 07:15:48 +00:00
main
release: cut 0.10.4 with the authority change written down
All checks were successful
guard / guard (pull_request) Successful in 2m22s
Details
guard / guard (push) Successful in 2m0s
Details
#164 by PerishFire was merged 2026-08-15 11:01:32 +00:00
main
spare: stop minting coverage a grant already carries
All checks were successful
guard / guard (pull_request) Successful in 2m10s
Details
guard / guard (push) Successful in 1m59s
Details
#163 by PerishFire was merged 2026-08-15 09:55:30 +00:00
main
cost: measure what one write actually pays for
All checks were successful
guard / guard (pull_request) Successful in 1m53s
Details
guard / guard (push) Successful in 2m3s
Details
#162 by PerishFire was merged 2026-08-15 08:51:34 +00:00
main
docs: govern the Keel surface
All checks were successful
guard / guard (pull_request) Successful in 2m10s
Details
guard / guard (push) Successful in 1m50s
Details
#161 by PerishFire was merged 2026-08-12 15:48:22 +00:00
main
docs: describe keel's real guard, land and release entrypoints
All checks were successful
guard / guard (pull_request) Successful in 2m33s
Details
guard / guard (push) Successful in 2m1s
Details
#160 by PerishFire was merged 2026-08-11 06:02:43 +00:00
main
docs: changelog for keel 0.10.3
All checks were successful
guard / guard (pull_request) Successful in 2m18s
Details
guard / guard (push) Successful in 2m2s
Details
#159 by PerishFire was merged 2026-08-05 16:11:57 +00:00
main
release: advance keel to 0.10.3
All checks were successful
guard / guard (pull_request) Successful in 2m14s
Details
guard / guard (push) Successful in 1m53s
Details
#158 by PerishFire was merged 2026-08-05 15:50:26 +00:00
main
ci: route the Cargo family through the Cargo-only lane
All checks were successful
guard / guard (pull_request) Successful in 2m18s
Details
guard / guard (push) Successful in 2m16s
Details
#157 by PerishFire was merged 2026-08-05 13:33:15 +00:00
main
ci: bind exact cargo release
All checks were successful
guard / guard (pull_request) Successful in 2m5s
Details
guard / guard (push) Successful in 1m51s
Details
#156 by PerishFire was merged 2026-08-05 01:39:07 +00:00
main
model: derive declared relation closure
All checks were successful
guard / guard (pull_request) Successful in 2m13s
Details
guard / guard (push) Successful in 1m50s
Details
#155 by PerishFire was merged 2026-08-04 06:26:37 +00:00
main
Adopt wrapperless Runseal profile
All checks were successful
guard / guard (pull_request) Successful in 2m4s
Details
guard / guard (push) Successful in 1m46s
Details
#153 by perishadmin was merged 2026-08-03 09:14:32 +00:00
main
Type-check the release profile, and compile in it again
All checks were successful
guard / guard (pull_request) Successful in 4m26s
Details
guard / guard (push) Successful in 1m51s
Details
#150 by PerishFire was merged 2026-07-30 16:13:51 +00:00
main
deps: track Sealkit stable latest
All checks were successful
guard / guard (pull_request) Successful in 1m32s
Details
guard / guard (push) Successful in 1m33s
Details
#149 by PerishFire was merged 2026-07-30 15:00:56 +00:00
main
Let a null carry no type so postgres infers it
All checks were successful
guard / guard (pull_request) Successful in 1m42s
Details
#148 by PerishFire was merged 2026-07-30 13:47:24 +00:00
main