Skip to content

chore: document constant usage#2123

Merged
shikanime merged 1 commit intomainfrom
pr2123
Apr 30, 2026
Merged

chore: document constant usage#2123
shikanime merged 1 commit intomainfrom
pr2123

Conversation

@shikanime
Copy link
Copy Markdown
Member

@shikanime shikanime commented Apr 29, 2026

Signed-off-by: William Phetsinorath william.phetsinorath-open@interieur.gouv.fr

@shikanime shikanime changed the base branch from main to pr1980 April 29, 2026 12:22
@github-actions github-actions Bot added the built label Apr 29, 2026
@github-actions
Copy link
Copy Markdown
Contributor

🤖 Hey !

The security scan report for the current pull request is available here.

@github-actions
Copy link
Copy Markdown
Contributor

🤖 Hey !

The security scan report for the current pull request is available here.

1 similar comment
@github-actions
Copy link
Copy Markdown
Contributor

🤖 Hey !

The security scan report for the current pull request is available here.

Signed-off-by: William Phetsinorath <william.phetsinorath-open@interieur.gouv.fr>
@shikanime shikanime changed the base branch from pr1980 to main April 30, 2026 08:02
@cloud-pi-native-sonarqube
Copy link
Copy Markdown

@github-actions
Copy link
Copy Markdown
Contributor

🤖 Hey !

The security scan report for the current pull request is available here.

1 similar comment
@github-actions
Copy link
Copy Markdown
Contributor

🤖 Hey !

The security scan report for the current pull request is available here.

Copy link
Copy Markdown
Collaborator

@StephaneTrebel StephaneTrebel left a comment

Choose a reason for hiding this comment

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

😍

@shikanime shikanime added this pull request to the merge queue Apr 30, 2026
@github-merge-queue github-merge-queue Bot removed this pull request from the merge queue due to failed status checks Apr 30, 2026
@shikanime shikanime added this pull request to the merge queue Apr 30, 2026
@github-merge-queue github-merge-queue Bot removed this pull request from the merge queue due to failed status checks Apr 30, 2026
@shikanime shikanime added this pull request to the merge queue Apr 30, 2026
@github-merge-queue github-merge-queue Bot removed this pull request from the merge queue due to failed status checks Apr 30, 2026
@shikanime shikanime added this pull request to the merge queue Apr 30, 2026
Merged via the queue into main with commit 95307d7 Apr 30, 2026
56 checks passed
@shikanime shikanime deleted the pr2123 branch April 30, 2026 14:28
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