Merge eis into main, as prep for release 0.4.0#22
Merged
Merged
Commits
Commits on Feb 4, 2026
Commits on Feb 23, 2026
Commits on Feb 24, 2026
Commits on Feb 25, 2026
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Mar 11, 2026
- committed
- authored andcommitted
- committed
- committed
- committed
- committed
- committed