What's Changed
- Try to fix weekly release by @mtzguido in #4243
- Update agent files to only have an FStarDev agent by @nikswamy in #4234
- Update karamel submodule to fdc019cc by @github-actions[bot] in #4248
- FStarDev.md: LF line endings by @mtzguido in #4249
- Update karamel submodule to 2fe560bb by @dzomo in #4250
- Fix Pulse allowing missing definitions from module by @mtzguido in #4251
- Tc: consider effect arguments in positivity check by @mtzguido in #4253
- Bump version to 2026.05.10 by @dzomo in #4254
Full Changelog: v2026.05.03...v2026.05.10