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

Added SCIP to main GH Action

8b77286
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar