Skip to content

Conversation

@MickaelCa
Copy link
Member

No description provided.

@MickaelCa MickaelCa marked this pull request as ready for review July 13, 2025 21:49
@MickaelCa MickaelCa added the push-container Allow the PR to build & push a docker container instead of just building it label Jul 13, 2025
@codecov
Copy link

codecov bot commented Jul 13, 2025

Codecov Report

All modified and coverable lines are covered by tests ✅

📢 Thoughts on this report? Let us know!

@MickaelCa MickaelCa force-pushed the ci/add-manual-PR-docker-build branch from e0ac1c9 to 3ab466c Compare July 13, 2025 21:55
@MickaelCa MickaelCa removed the push-container Allow the PR to build & push a docker container instead of just building it label Jul 13, 2025
@MickaelCa MickaelCa force-pushed the ci/add-manual-PR-docker-build branch from 3ab466c to fb5934c Compare July 13, 2025 21:57
@MickaelCa MickaelCa added the push-container Allow the PR to build & push a docker container instead of just building it label Jul 13, 2025
@MickaelCa MickaelCa enabled auto-merge (squash) July 13, 2025 22:00
Copy link
Contributor

@NicolasIRAGNE NicolasIRAGNE left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

image

@MickaelCa MickaelCa merged commit 576e9cc into main Jul 13, 2025
26 checks passed
@MickaelCa MickaelCa deleted the ci/add-manual-PR-docker-build branch July 13, 2025 22:26
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

push-container Allow the PR to build & push a docker container instead of just building it

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants