chore: Configure Renovate

[renovate]

Welcome to Renovate! This is an onboarding PR to help you understand and configure settings before regular Pull Requests begin.

🚦 To activate Renovate, merge this Pull Request. To disable Renovate, simply close this Pull Request unmerged.

---

Detected Package Files

• Cargo.toml (cargo)
• batsat/Cargo.toml (cargo)
• cadical/Cargo.toml (cargo)
• capi/Cargo.toml (cargo)
• glucose/Cargo.toml (cargo)
• ipasir/Cargo.toml (cargo)
• kissat/Cargo.toml (cargo)
• minisat/Cargo.toml (cargo)
• pyapi/Cargo.toml (cargo)
• solvertests/Cargo.toml (cargo)
• tools/Cargo.toml (cargo)
• .github/workflows/batsat.yml (github-actions)
• .github/workflows/cadical.yml (github-actions)
• .github/workflows/capi.yml (github-actions)
• .github/workflows/docs.yml (github-actions)
• .github/workflows/glucose.yml (github-actions)
• .github/workflows/ipasir.yml (github-actions)
• .github/workflows/kissat.yml (github-actions)
• .github/workflows/minisat.yml (github-actions)
• .github/workflows/pages.yml (github-actions)
• .github/workflows/pr-lints.yml (github-actions)
• .github/workflows/pyapi.yml (github-actions)
• .github/workflows/release-plz.yml (github-actions)
• .github/workflows/release.yml (github-actions)
• .github/workflows/rustsat.yml (github-actions)
• .github/workflows/semver-checks.yml (github-actions)
• .github/workflows/tools.yml (github-actions)
• pyapi/pyproject.toml (pep621)

Configuration Summary

Based on the default config's presets, Renovate will:

• Start dependency updates only once this onboarding PR is merged
• Show all Merge Confidence badges for pull requests.
• Enable Renovate Dependency Dashboard creation.
• Use semantic commit type fix for dependencies and chore for all others if semantic commits are in use.
• Ignore node_modules, bower_components, vendor and various test/tests (except for nuget) directories.
• Group known monorepo packages together.
• Use curated list of recommended non-monorepo package groupings.
• Apply crowd-sourced package replacement rules.
• Apply crowd-sourced workarounds for known problems with packages.
• Pin github-action digests.
• Show all Merge Confidence badges for pull requests.
• Run Renovate on following schedule: after 8pm,before 6am

🔡 Do you want to change how Renovate upgrades your dependencies? Add your custom config to renovate.json in this branch. Renovate will update the Pull Request description the next time it runs.

---

What to Expect

With your current configuration, Renovate will create 5 Pull Requests:

chore(deps): pin dependencies

• Schedule: ["after 8pm","before 6am"]
• Branch name: renovate/pin-dependencies
• Merge into: main
• Upgrade MarcoIeni/release-plz-action to db75300cf27adcd986d6f0cf4a72a4ffcc11dae5
• Upgrade PyO3/maturin-action to ea5bac0f1ccd0ab11c805e2b804bfcb65dac2eab
• Upgrade Swatinem/rust-cache to 82a92a6e8fbeee089604da2575dc567ae9ddeaab
• Upgrade actions/checkout to 11bd71901bbe5b1630ceea73d27597364c9af683
• Upgrade actions/create-github-app-token to 5d869da34e18e7287c1daad50e0b8ea0f506ce69
• Upgrade actions/deploy-pages to d6db90164ac5ed86f2b6aed7e0febac5b3c0c03e
• Upgrade actions/download-artifact to fa0a91b85d4f404e444e00e005971372dc801d16
• Upgrade actions/setup-python to 0b93645e9fea7318ecaed2b359559ac225c90a2b
• Upgrade actions/upload-artifact to 6f51ac03b9356f520e9adb1b1b7802705f340c2b
• Upgrade actions/upload-pages-artifact to 56afc609e74202658d3ffba0e8f6dda462b719fa
• Upgrade giraffate/clippy-action to 13b9d32482f25d29ead141b79e7e04e7900281e0
• Upgrade obi1kenobi/cargo-semver-checks-action to 7272cc2caa468d3e009a2b0a9cc366839348237b
• Upgrade taiki-e/install-action to 1132e5c2331e7f4bbcd897513d4b47d4d4cd5b2a
• Upgrade taiki-e/install-action to 656ebd1c3310e7a7179001d08b3366123364960e

chore(deps): update patch updates

• Schedule: ["after 8pm","before 6am"]
• Branch name: renovate/patch-updates
• Merge into: main
• Upgrade cc to 1.2.4
• Upgrade inline-c to 0.1.8
• Upgrade thiserror to 2.0.8

chore(deps): update rust crate bzip2 to 0.5.0

• Schedule: ["after 8pm","before 6am"]
• Branch name: renovate/bzip2-0.x
• Merge into: main
• Upgrade bzip2 to 0.5.0

chore(deps): update dependency ubuntu to v24

• Schedule: ["after 8pm","before 6am"]
• Branch name: renovate/ubuntu-24.x
• Merge into: main
• Upgrade ubuntu to 24.04

chore(deps): lock file maintenance

• Schedule: ["before 4am on monday"]
• Branch name: renovate/lock-file-maintenance
• Merge into: main
• Regenerate lock files to use latest dependency versions

🚸 Branch creation will be limited to maximum 2 per hour, so it doesn't swamp any CI resources or overwhelm the project. See docs for prhourlylimit for details.

---

❓ Got questions? Check out Renovate's Docs, particularly the Getting Started section.
If you need any further assistance then you can also request help here.

---

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