Skip to content

Hotfix to add SCIP to main GH Action - #57

Merged
fletchapin merged 1 commit into
mainfrom
hotfix/main-action
Jul 24, 2026
Merged

Hotfix to add SCIP to main GH Action#57
fletchapin merged 1 commit into
mainfrom
hotfix/main-action

Conversation

@fletchapin

Copy link
Copy Markdown
Contributor

Pull request recommendations:

  • Name your pull request your-development-type/short-description. Ex: feature/gui
  • Link to any relevant issue in the PR description. Ex: Resolves [ENH: Support optimization of flexibility metrics #12]
  • Provide context of changes.
  • Provide relevant tests for your feature or bug fix.
  • Provide or update documentation for any feature added by your pull request.

Thanks for contributing!

@fletchapin
fletchapin merged commit 26fbbf5 into main Jul 24, 2026
1 check passed
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