Merge branch 'main' of https://github.com/henrypinkard/pycro-manager #76
henrypinkardbuild_and_deploy.yml
on: push
check-java-version
0s
check-python-version
0s
Open a PR in micro-manager/micro-manager to update java dependencies
0s
Deploy new version to PyPi if needed
0s