ci

Add `scip merge` command to combine multiple SCIP indexes #8

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
fix	8s
list	19s
packages (scip)	1m 46s
checks (github-actions)	53s
checks (reprolang)	1m 31s
checks (reprolang-generated)	54s
checks (typescript-bindings)	53s
checks (rust-bindings)	1m 30s
checks (go-bindings)	1m 31s
packages (proto-generate)	2m 27s
checks (formatting)	1m 1s
checks (haskell-bindings)	2m 36s
ci-pass	3s
	15m 32s