Skip to content

Conversation

@infrahub-github-bot-app
Copy link
Contributor

Merging stable into develop after merging pull request #6233.

@infrahub-github-bot-app infrahub-github-bot-app bot requested review from a team as code owners April 16, 2025 08:31
@github-actions github-actions bot added the type/documentation Improvements or additions to documentation label Apr 16, 2025
@github-actions github-actions bot added the group/backend Issue related to the backend (API Server, Git Agent) label Apr 16, 2025
@codspeed-hq
Copy link

codspeed-hq bot commented Apr 16, 2025

CodSpeed Performance Report

Merging #6313 will not alter performance

Comparing stable (12aefdf) with stable (d644100)

Summary

✅ 10 untouched benchmarks

@github-actions github-actions bot added the group/frontend Issue related to the frontend (React) label Apr 17, 2025
@gmazoyer gmazoyer closed this Apr 17, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

group/backend Issue related to the backend (API Server, Git Agent) group/frontend Issue related to the frontend (React) type/documentation Improvements or additions to documentation

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants