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.

Sign up for GitHub

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

Jump to bottom

Bump Core #1318

Merged
merged 1 commit into from
May 28, 2024
Merged

Bump Core #1318

merged 1 commit into from
May 28, 2024

Conversation

KevinBoulongne
Copy link
Contributor

@KevinBoulongne KevinBoulongne added the optimization The existing product or functionality is improved label May 28, 2024
@KevinBoulongne KevinBoulongne requested a review from a team May 28, 2024 07:26
@github-actions github-actions bot added the dependent This MR depends on another PR label May 28, 2024
@github-actions github-actions bot removed the dependent This MR depends on another PR label May 28, 2024
@tevincent tevincent enabled auto-merge May 28, 2024 07:30
@github-actions GitHub Actions
Copy link

This PR/issue depends on:

@sonarcloud SonarCloud
Copy link

sonarcloud bot commented May 28, 2024

Quality Gate Passed Quality Gate passed

Issues
0 New issues
0 Accepted issues

Measures
0 Security Hotspots
No data about Coverage
No data about Duplication

See analysis details on SonarCloud

@tevincent tevincent merged commit aa56745 into master May 28, 2024
4 checks passed
@tevincent tevincent deleted the bump-core branch May 28, 2024 07:35
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@tevincent tevincent tevincent approved these changes

Assignees

@KevinBoulongne KevinBoulongne

Labels
optimization The existing product or functionality is improved
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@KevinBoulongne @tevincent