Skip to content

0.8.0rc1#402

Merged
bmcfee merged 1 commit intomir-evaluation:mainfrom
bmcfee:0.8.0rc1
Feb 6, 2025
Merged

0.8.0rc1#402
bmcfee merged 1 commit intomir-evaluation:mainfrom
bmcfee:0.8.0rc1

Conversation

@bmcfee
Copy link
Copy Markdown
Collaborator

@bmcfee bmcfee commented Feb 6, 2025

Updating release action for second release candidate attempt

@bmcfee bmcfee merged commit b98d364 into mir-evaluation:main Feb 6, 2025
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