KeYProject / key

KeY Theorem Prover for Deductive Java Verification
https://key-project.org
Other
42 stars 24 forks source link

Update dependabot configuration #3447

Closed wadoon closed 2 months ago

wadoon commented 3 months ago

This PR reconfigures dependenabot in the following manner:

  1. Group incoming updates into a single Pull Request

    Sometimes there are 3 or 4 PRs created by dependabot. Now they are bundled into one combined PR.

  2. Slow down the checking of new versions from weekly to monthly

    We are not very security-critical. This helps to prevent downloading new libs every week.