Skip to content

Update scip.bindings to v0.10.0 - #1008

Merged
renovate[bot] merged 1 commit into
mainfrom
renovate/scip.bindings
Sep 5, 2026
Merged

Update scip.bindings to v0.10.0#1008
renovate[bot] merged 1 commit into
mainfrom
renovate/scip.bindings

Conversation

@renovate

@renovate renovate Bot commented Sep 4, 2026

Copy link
Copy Markdown
Contributor

This PR contains the following updates:

Package Change Age Confidence
org.scip-code:scip-kotlin-bindings 0.9.00.10.0 age confidence
org.scip-code:scip-java-bindings 0.9.00.10.0 age confidence

Release Notes

scip-code/scip (org.scip-code:scip-kotlin-bindings)

v0.10.0: scip v0.10.0

Download the CLI for your current platform using:

env \
  TAG="v0.10.0" \
  OS="$(uname -s | tr '[:upper:]' '[:lower:]')" \
  ARCH="$(uname -m | sed -e 's/x86_64/amd64/')" \
  bash -c 'curl -L "https://github.com/scip-code/scip/releases/download/$TAG/scip-$OS-$ARCH.tar.gz"' \
| tar xzf - scip

What's Changed

New Contributors

Full Changelog: scip-code/scip@v0.9.0...v0.10.0


Configuration

📅 Schedule: (UTC)

  • Branch creation
    • At any time (no schedule defined)
  • Automerge
    • At any time (no schedule defined)

🚦 Automerge: Enabled.

Rebasing: Whenever PR is behind base branch, or you tick the rebase/retry checkbox.

🔕 Ignore: Close this PR and you won't be reminded about these updates again.


  • If you want to rebase/retry this PR, check this box

This PR was generated by Mend Renovate. View the repository job log.

@renovate
renovate Bot enabled auto-merge (squash) September 4, 2026 17:36
@renovate
renovate Bot force-pushed the renovate/scip.bindings branch from f7dfd1c to 066caa4 Compare September 4, 2026 21:29
@renovate
renovate Bot force-pushed the renovate/scip.bindings branch from 066caa4 to 9ec67cb Compare September 5, 2026 00:44
@renovate
renovate Bot merged commit 630044d into main Sep 5, 2026
26 checks passed
@renovate
renovate Bot deleted the renovate/scip.bindings branch September 5, 2026 05:10
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.

0 participants