Skip to content

release: v0.139.0 - #665

Merged
javimosch merged 1 commit into
mainfrom
release/v0.139.0
Sep 18, 2026
Merged

javimosch merged 1 commit into
mainfrom
release/v0.139.0

Conversation

@javimosch

Copy link
Copy Markdown
Owner

Summary

Test plan

  • CI test gate (includes selfhost prelude/oracle/fixpoint)
  • Tag after merge: git tag -a v0.139.0 -m "MFL v0.139.0" && git push origin v0.139.0

🤖 Generated with Claude Code

…tes fix, arena tripwire, eprintln)

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
@coderabbitai

coderabbitai Bot commented Sep 18, 2026

Copy link
Copy Markdown

Warning

Review limit reached

Next included review available in 17 minutes.

Check out review usage here.

View limit details

Limit details: You’ve used the included review currently available.

You've used all free OSS reviews for now. Wait for the free limit to reset to keep reviewing this public repository.

Learn how review limits work.

Review configuration:

⚙️ Run configuration

Configuration used: defaults

Review profile: CHILL

Plan: Advanced

Run ID: df276b5d-d513-4df0-a872-a0493cf6b133

📥 Commits

Reviewing files that changed from the base of the PR and between 931f1e2 and 86a6298.

📒 Files selected for processing (5)
  • CHANGELOG.md
  • README.md
  • SPEC.md
  • guide.go
  • selfhost/server.mfl

Thanks for using CodeRabbit! It's free for OSS, and your support helps us grow. If you like it, consider giving us a shout-out.

❤️ Share

Comment @coderabbitai help to get the list of available commands.

@javimosch
javimosch merged commit f5cd0df into main Sep 18, 2026
2 checks passed
@javimosch
javimosch deleted the release/v0.139.0 branch September 18, 2026 12:36
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant