Skip to content

Pin micro-manager-precice version to 0.8.0 due to pyFANS API incompatibility#138

Merged
IshaanDesai merged 1 commit intodevelopfrom
set-mm-version-in-ci
Apr 21, 2026
Merged

Pin micro-manager-precice version to 0.8.0 due to pyFANS API incompatibility#138
IshaanDesai merged 1 commit intodevelopfrom
set-mm-version-in-ci

Conversation

@IshaanDesai
Copy link
Copy Markdown
Collaborator

Checklist:

  • I made sure that the CI passed before I ask for a review.
  • I added a summary of the changes (compared to the last release) in the CHANGELOG.md.
  • If necessary, I made changes to the documentation and/or added new content.
  • I will remember to squash-and-merge, providing a useful summary of the changes of this PR.

@IshaanDesai IshaanDesai merged commit cf7c716 into develop Apr 21, 2026
8 checks passed
@IshaanDesai IshaanDesai deleted the set-mm-version-in-ci branch April 21, 2026 15:02
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