Index SCIP for all branches, not just main/master
SCIP Index / index (push) Successful in 1m42s

Co-Authored-By: Claude Opus 4.5 <noreply@anthropic.com>
This commit is contained in:
2026-02-03 21:50:29 -10:00
parent 1858f3e5d0
commit b3cd896fd5
+1 -1
View File
@@ -2,7 +2,7 @@ name: SCIP Index
on: on:
push: push:
branches: [main, master] branches: ['**']
workflow_dispatch: workflow_dispatch:
jobs: jobs: