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

Improve CI #1668

Merged
merged 1 commit into from
Jan 23, 2024
Merged

Improve CI #1668

merged 1 commit into from
Jan 23, 2024

Conversation

JorisBodin
Copy link
Member

@JorisBodin JorisBodin requested a review from a team as a code owner January 22, 2024 17:20
@KevinBoulongne KevinBoulongne added enhancement Improve or expand upon an existing feature rebase Add this label to rebase the PR labels Jan 23, 2024
@github-actions github-actions bot removed the rebase Add this label to rebase the PR label Jan 23, 2024
@KevinBoulongne KevinBoulongne merged commit af7fd64 into master Jan 23, 2024
1 of 2 checks passed
@KevinBoulongne KevinBoulongne deleted the update-ci branch January 23, 2024 06:05
@sonarqubecloud SonarQubeCloud
Copy link

Quality Gate Passed Quality Gate passed

Kudos, no new issues were introduced!

0 New issues
0 Security Hotspots
No data about Coverage
No data about Duplication

See analysis details on SonarCloud

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@KevinBoulongne KevinBoulongne KevinBoulongne approved these changes

Assignees

@JorisBodin JorisBodin

Labels
enhancement Improve or expand upon an existing feature
Projects
None yet
Milestone
No milestone
Development

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