Skip to content

chore(main): release 0.16.0 - #34

Merged
rodrigoteamx merged 1 commit into
mainfrom
release-please--branches--main
Aug 20, 2026
Merged

chore(main): release 0.16.0#34
rodrigoteamx merged 1 commit into
mainfrom
release-please--branches--main

Conversation

@github-actions

Copy link
Copy Markdown
Contributor

🤖 I have created a release beep boop

0.16.0 (2026-08-20)

Features

  • EffectProfile::meet() — the greatest-lower-bound, mirror of join() (230ce41)
  • EffectProfile::meet() — the greatest-lower-bound, mirror of join() (f79637a)

This PR was generated with Release Please. See documentation.

@rodrigoteamx
rodrigoteamx merged commit 6ee40b2 into main Aug 20, 2026
2 checks passed
@github-actions

Copy link
Copy Markdown
Contributor Author

🤖 Created releases:

🌻

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant