Skip to content

[#skip] Remove temporary Pulumi release comments - #334

Merged
notdodo merged 2 commits into
mainfrom
chore/remove-pulumi-release-comments
Oct 25, 2026
Merged

notdodo merged 2 commits into
mainfrom
chore/remove-pulumi-release-comments

Conversation

@notdodo

@notdodo notdodo commented Oct 25, 2026

Copy link
Copy Markdown
Owner

No description provided.

@notdodo
notdodo merged commit 2530878 into main Oct 25, 2026
4 checks passed
@notdodo
notdodo deleted the chore/remove-pulumi-release-comments branch October 25, 2026 19:35
@github-actions

Copy link
Copy Markdown

kics-logo

KICS version: v2.1.20

Category Results
CRITICAL CRITICAL 0
HIGH HIGH 0
MEDIUM MEDIUM 0
LOW LOW 0
INFO INFO 0
TRACE TRACE 0
TOTAL TOTAL 0
Metric Values
Files scanned placeholder 14
Files parsed placeholder 14
Files failed to scan placeholder 0
Total executed queries placeholder 52
Queries failed to execute placeholder 0
Execution time placeholder 1

Queries Results

|
|

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

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant