Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

🤖 [MariaDB] updates #352

Merged
merged 1 commit into from
Jul 13, 2024
Merged

🤖 [MariaDB] updates #352

merged 1 commit into from
Jul 13, 2024

Conversation

sudo[bot]
Copy link

@sudo sudo bot commented Jul 13, 2024

Dear human 🌻🐓🦃🦎🦙🐂🐏🐐🐎🦉, after running my task the following file was updated:

  • data/variables/mariadb-xtradbinnodb-server-system-variables.json 🐳

@codecov-commenter
Copy link

codecov-commenter commented Jul 13, 2024

⚠️ Please install the 'codecov app svg image' to ensure uploads and comments are reliably processed by Codecov.

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 35.15%. Comparing base (07106da) to head (6cac77c).
Report is 1 commits behind head on main.

❗ There is a different number of reports uploaded between BASE (07106da) and HEAD (6cac77c). Click for more details.

HEAD has 1 upload less than BASE
Flag BASE (07106da) HEAD (6cac77c)
rust 1 0
Additional details and impacted files

Impacted file tree graph

@@              Coverage Diff              @@
##               main     #352       +/-   ##
=============================================
- Coverage     82.33%   35.15%   -47.18%     
  Complexity       82       82               
=============================================
  Files            17        7       -10     
  Lines          4835      603     -4232     
=============================================
- Hits           3981      212     -3769     
+ Misses          854      391      -463     
Flag Coverage Δ
node 100.00% <ø> (ø)
php 27.72% <ø> (ø)
rust ?

see 10 files with indirect coverage changes

@williamdes williamdes added dataUpdate Is a data update merge-it Ask the bot to merge the pull-request labels Jul 13, 2024
@williamdes williamdes temporarily deployed to sudo-bot-workflows July 13, 2024 13:43 — with GitHub Actions Inactive
@williamdes williamdes temporarily deployed to sudo-bot-workflows July 13, 2024 13:43 — with GitHub Actions Inactive
@wdes-bot wdes-bot removed the merge-it Ask the bot to merge the pull-request label Jul 13, 2024
@wdes-bot wdes-bot merged commit 6cac77c into main Jul 13, 2024
29 checks passed
@wdes-bot wdes-bot deleted the update/1720877541704 branch July 13, 2024 13:43
@wdes-bot wdes-bot temporarily deployed to sudo-bot-workflows July 13, 2024 13:43 — with GitHub Actions Inactive
Repository owner locked as resolved and limited conversation to collaborators Jul 13, 2024
@williamdes williamdes added this to the 1.3.1 milestone Jul 13, 2024
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
dataUpdate Is a data update
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants