Skip to content

Conversation

@renovate
Copy link
Contributor

@renovate renovate bot commented Jul 19, 2025

This PR contains the following updates:

Package Type Update Change
munich-quantum-toolkit/workflows action minor v1.14 -> v1.15

Release Notes

munich-quantum-toolkit/workflows (munich-quantum-toolkit/workflows)

v1.15

Compare Source

📚 Refer to the GitHub Release Notes for previous changelogs.


Configuration

📅 Schedule: Branch creation - "every weekend" (UTC), Automerge - At any time (no schedule defined).

🚦 Automerge: Disabled by config. Please merge this manually once you are satisfied.

Rebasing: Whenever PR becomes conflicted, or you tick the rebase/retry checkbox.

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


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

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

Signed-off-by: renovate[bot] <29139614+renovate[bot]@users.noreply.github.com>
@renovate renovate bot added dependencies Pull requests that update a dependency file github-actions labels Jul 19, 2025
@github-project-automation github-project-automation bot moved this to In Progress in MQT Compilation Jul 19, 2025
@renovate
Copy link
Contributor Author

renovate bot commented Jul 21, 2025

Edited/Blocked Notification

Renovate will not automatically rebase this PR, because it does not recognize the last commit author and assumes somebody else may have edited the PR.

You can manually request rebase by checking the rebase/retry box above.

⚠️ Warning: custom changes will be lost.

@denialhaag denialhaag requested a review from burgholzer July 21, 2025 07:45
@denialhaag denialhaag self-assigned this Jul 21, 2025
@denialhaag denialhaag merged commit 6e3a117 into main Jul 21, 2025
71 of 75 checks passed
@denialhaag denialhaag deleted the renovate/munich-quantum-toolkit-workflows-1.x branch July 21, 2025 13:48
@github-project-automation github-project-automation bot moved this from In Progress to Done in MQT Compilation Jul 21, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

dependencies Pull requests that update a dependency file github-actions

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants