Skip to content

chore: harden github actions#390

Merged
noraeb merged 1 commit into
developfrom
chore/harden-github-actions
Jun 9, 2026
Merged

chore: harden github actions#390
noraeb merged 1 commit into
developfrom
chore/harden-github-actions

Conversation

@noraeb

@noraeb noraeb commented Jun 5, 2026

Copy link
Copy Markdown
Contributor

No description provided.

Signed-off-by: Nora Blomaard <n.blomaard@gmail.com>
@noraeb noraeb force-pushed the chore/harden-github-actions branch from e3ef2af to 549eb99 Compare June 5, 2026 07:37
@sonarqubecloud

sonarqubecloud Bot commented Jun 5, 2026

Copy link
Copy Markdown

@noraeb noraeb merged commit 203dea5 into develop Jun 9, 2026
9 checks passed
@noraeb noraeb deleted the chore/harden-github-actions branch June 9, 2026 07:16
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.

2 participants