Skip to content

fix(deps): update dependency katex to ^0.16.27 (main)#8042

Merged
github-actions[bot] merged 1 commit into
mainfrom
renovate/main-katex-0.x
Dec 15, 2025
Merged

fix(deps): update dependency katex to ^0.16.27 (main)#8042
github-actions[bot] merged 1 commit into
mainfrom
renovate/main-katex-0.x

Conversation

@renovate
Copy link
Copy Markdown
Contributor

@renovate renovate Bot commented Dec 13, 2025

This PR contains the following updates:

Package Change Age Confidence
katex (source) ^0.16.26 -> ^0.16.27 age confidence

Configuration

📅 Schedule: Branch creation - "every weekend" in timezone Europe/Berlin, 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.

@renovate renovate Bot requested a review from max-nextcloud as a code owner December 13, 2025 01:42
@renovate renovate Bot added the dependencies Pull requests that update a dependency file label Dec 13, 2025
@renovate renovate Bot requested a review from mejo- as a code owner December 13, 2025 01:42
@renovate renovate Bot added the dependencies Pull requests that update a dependency file label Dec 13, 2025
@github-actions github-actions Bot enabled auto-merge December 13, 2025 01:43
@codecov
Copy link
Copy Markdown

codecov Bot commented Dec 13, 2025

Codecov Report

✅ All modified and coverable lines are covered by tests.

📢 Thoughts on this report? Let us know!

@mejo- mejo- force-pushed the renovate/main-katex-0.x branch from 4e5e60a to 544c6cf Compare December 15, 2025 12:44
@github-actions github-actions Bot merged commit 95d5190 into main Dec 15, 2025
85 of 89 checks passed
@github-actions github-actions Bot deleted the renovate/main-katex-0.x branch December 15, 2025 13:53
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

Projects

None yet

Development

Successfully merging this pull request may close these issues.

0 participants