Skip to content

publish: release 0.5.0#116

Open
github-actions[bot] wants to merge 2 commits intomainfrom
release-please--branches--main
Open

publish: release 0.5.0#116
github-actions[bot] wants to merge 2 commits intomainfrom
release-please--branches--main

Conversation

@github-actions
Copy link
Copy Markdown
Contributor

@github-actions github-actions Bot commented May 7, 2026

🤖 I have created a release beep boop

0.5.0 (2026-05-10)

⚠ BREAKING CHANGES

  • deps: lower Python floor to 3.11 (#133)
  • data: unify data.source and data.labels.source resolvers (#128)

Features

  • data: unify data.source and data.labels.source resolvers (#128) (7fccefe)
  • infra: diagnostics utils, better terminal warnings (#124) (11ef2f5)
  • misc: prettify terminal output with rich panels and themed progress (#121) (6a9fb61)
  • robustness: Marabou formal-verification adapter + SemanticallyDescribable refactor (#134) (99968f2)
  • robustness: rebuild module with typed contracts and attack adapters (#119) (ed3f845)

Documentation

  • add Context7 widget script to Sphinx docs (deea214)
  • context7.json with URL and public key (73c30c3)
  • update README with logo and project details (a4da263)

Build system


This PR was generated with Release Please. See documentation.

@github-actions github-actions Bot force-pushed the release-please--branches--main branch 5 times, most recently from 2d262ad to b9d0b69 Compare May 10, 2026 00:40
@github-actions github-actions Bot changed the title publish: release 0.4.3 publish: release 0.5.0 May 10, 2026
@github-actions github-actions Bot force-pushed the release-please--branches--main branch 2 times, most recently from 7a50e05 to 0d845db Compare May 10, 2026 15:44
@github-actions github-actions Bot force-pushed the release-please--branches--main branch from 7ca735e to 65efd1b Compare May 10, 2026 17:31
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.

0 participants