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

chore: Update translations #15936

Merged
merged 1 commit into from
Oct 6, 2023
Merged

chore: Update translations #15936

merged 1 commit into from
Oct 6, 2023

Conversation

otto-the-bot
Copy link
Collaborator

No description provided.

@codecov
Copy link

codecov bot commented Oct 6, 2023

Codecov Report

Merging #15936 (0d6dd57) into dev (5d7419b) will not change coverage.
The diff coverage is n/a.

@@           Coverage Diff           @@
##              dev   #15936   +/-   ##
=======================================
  Coverage   44.67%   44.67%           
=======================================
  Files         668      668           
  Lines       22671    22671           
  Branches     5169     5169           
=======================================
  Hits        10128    10128           
  Misses      11245    11245           
  Partials     1298     1298           

@tlebon tlebon disabled auto-merge October 6, 2023 13:54
@tlebon tlebon merged commit 73babe4 into dev Oct 6, 2023
11 checks passed
@tlebon tlebon deleted the translations branch October 6, 2023 13:54
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants