Skip to content

release v0.12.4 #253

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 3 commits into from
May 30, 2025
Merged

release v0.12.4 #253

merged 3 commits into from
May 30, 2025

Conversation

misrasaurabh1
Copy link
Contributor

@misrasaurabh1 misrasaurabh1 commented May 29, 2025

PR Type

Other


Description

  • Bump package version to 0.12.4

Changes walkthrough 📝

Relevant files
Configuration changes
version.py
Bump version numbers                                                                         

codeflash/version.py

  • Update __version__ to "0.12.4"
  • Update __version_tuple__ to (0, 12, 4)
  • +2/-2     

    Need help?
  • Type /help how to ... in the comments thread for any questions about PR-Agent usage.
  • Check out the documentation for more information.
  • Copy link

    PR Reviewer Guide 🔍

    Here are some key observations to aid the review process:

    ⏱️ Estimated effort to review: 1 🔵⚪⚪⚪⚪
    🧪 No relevant tests
    🔒 No security concerns identified
    ⚡ No major issues detected

    Copy link

    PR Code Suggestions ✨

    No code suggestions found for the PR.

    Copy link

    openhands-ai bot commented May 29, 2025

    Looks like there are a few issues preventing this PR from being merged!

    • GitHub Actions are failing:
      • end-to-end-test

    If you'd like me to help, just leave a comment, like

    @OpenHands please fix the failing actions on PR #253

    Feel free to include any additional details that might help me get this PR into a better state.

    You can manage your notification settings

    @aseembits93 aseembits93 enabled auto-merge May 30, 2025 00:03
    @aseembits93 aseembits93 merged commit 5185423 into main May 30, 2025
    16 checks passed
    @aseembits93 aseembits93 deleted the release/v0.12.4 branch June 6, 2025 23:55
    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.

    3 participants