Repository navigation

feat!: remove manual ownership overlay; package is @safe-only (v0.5.0) - #82

Merged

MilesCranmer merged 8 commits into

MilesCranmer:mainfrom

MilesCranmerBot:pr/v05-remove-manual-overlay

Aug 22, 2026

Commits on Aug 21, 2026

feat!: remove manual ownership overlay; package is @safe-only (v0.5.0)

MilesCranmerBot
and
MilesCranmer
committed
ec306f6

Commits on Aug 22, 2026

Guard BorrowCheckError export on Julia versions without the auto layer

MilesCranmerBot
and
MilesCranmer
committed
1129af2
Add docstrings for the remaining public API; fix docs build

MilesCranmerBot
and
MilesCranmer
committed
e348430
fix(auto): gate the IR checker off on Julia 1.13-rc

MilesCranmerBot
and
MilesCranmer
committed
8691ad1
Point readers at @unsafe blocks instead of the removed overlay

MilesCranmerBot
and
MilesCranmer
committed
188c37d
Update compatibility messaging for the 1.12-only gate

MilesCranmerBot
and
MilesCranmer
committed
882ae4c
Drop broken cross-reference anchor in README

MilesCranmerBot
and
MilesCranmer
committed
e6df5e6
Merge gate-auto-on-113: keep nightly green pending 1.13 shim

MilesCranmerBot
and
MilesCranmer
committed
d3ce4a3