Skip to content

CON-3684-Add-scripting-piscine-to-the-public-repo#3095

Merged
zanninso merged 1 commit intomasterfrom
CON-3684-Add-scripting-piscine-to-the-public-repo
Oct 13, 2025
Merged

CON-3684-Add-scripting-piscine-to-the-public-repo#3095
zanninso merged 1 commit intomasterfrom
CON-3684-Add-scripting-piscine-to-the-public-repo

Conversation

@zanninso
Copy link
Contributor

@zanninso zanninso self-assigned this Oct 13, 2025
@zanninso zanninso added the 📕 DevOps DevOps label Oct 13, 2025
@Oumaimafisaoui Oumaimafisaoui self-requested a review October 13, 2025 15:47
Copy link
Collaborator

@Oumaimafisaoui Oumaimafisaoui left a comment

Choose a reason for hiding this comment

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

LGTM

@zanninso zanninso merged commit 0cd3263 into master Oct 13, 2025
7 of 9 checks passed
@zanninso zanninso deleted the CON-3684-Add-scripting-piscine-to-the-public-repo branch October 13, 2025 16:11
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants