Open AyushAgnihotri2025 opened 1 year ago
Merging when?
I personally can't merge the PR until the CI workflow runs successfully and I also can't launch the workflow. I think, it should be triggered on push. @AyushAgnihotri2025, @willnaoosmith, could you please make sure the workflow runs successfully and, if not, investigate logs and fix errors?
P.S. also, if it's not a big deal, I would prefer if commit is not None:
syntax as it is more explicit and clear.
@pseusys it finally did run correctly again! @AyushAgnihotri2025 Thanks for the help!
Closes #463 Closes #425