Skip to content

docs(spec): fix stale spec link (halal-cb -> keel rename) - #133

Merged
eaitbrahim merged 1 commit into
mainfrom
docs/fix-security-spec-stale-link
Jul 23, 2026
Merged

docs(spec): fix stale spec link (halal-cb -> keel rename)#133
eaitbrahim merged 1 commit into
mainfrom
docs/fix-security-spec-stale-link

docs(spec): fix stale spec link in security-simplification design (ha…

71bf231
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
test
succeeded Jul 23, 2026 in 30s