joshuanianji / idris-2-docker

Multi-arch, multi-distro Docker images for Idris 2
MIT License
13 stars 2 forks source link

Configure Renovate (Part 2) #39

Closed renovate[bot] closed 1 year ago

renovate[bot] commented 1 year ago

Mend 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

Configuration Summary

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

🔡 Would you like to change the way Renovate is upgrading your dependencies? Simply edit the renovate.json in this branch with your custom config and the list of Pull Requests in the "What to Expect" section below will be updated the next time Renovate runs.


What to Expect

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

Update docker/build-push-action digest to f2a1d5e - Schedule: ["at any time"] - Branch name: `renovate/docker-build-push-action-digest` - Merge into: `main` - Upgrade docker/build-push-action to `f2a1d5e99d037542a71f64918e516c093c6f3fc4`
Update docker/login-action digest to ec9cdf0 - Schedule: ["at any time"] - Branch name: `renovate/docker-login-action-digest` - Merge into: `main` - Upgrade docker/login-action to `ec9cdf07d570632daeb912f5b2099cb9ec1d01e6`
Update ubuntu Docker tag to v22 - Schedule: ["at any time"] - Branch name: `renovate/ubuntu-22.x` - Merge into: `main` - Upgrade ubuntu to `22.04`


🚸 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 has been generated by Mend Renovate. View repository job log here.

renovate[bot] commented 1 year ago

Renovate is disabled

Renovate is disabled due to lack of config. If you wish to reenable it, you can either (a) commit a config file to your base branch, or (b) rename this closed PR to trigger a replacement onboarding PR.