Skip to content

chore: update workflows from organization#488

Merged
nickvergessen merged 1 commit into
masterfrom
chore/update-workflows
Jul 9, 2025
Merged

chore: update workflows from organization#488
nickvergessen merged 1 commit into
masterfrom
chore/update-workflows

Conversation

@susnux

@susnux susnux commented Jul 7, 2025

Copy link
Copy Markdown
Contributor

No description provided.

@susnux
susnux requested review from nickvergessen and skjnldsv July 7, 2025 15:34
@susnux susnux added the 3. to review Waiting for reviews label Jul 7, 2025
@susnux
susnux force-pushed the chore/update-workflows branch from 8467a37 to c914350 Compare July 9, 2025 12:50
@nickvergessen
nickvergessen enabled auto-merge July 9, 2025 12:51
Signed-off-by: Ferdinand Thiessen <opensource@fthiessen.de>
@susnux
susnux force-pushed the chore/update-workflows branch from c914350 to bd525b3 Compare July 9, 2025 12:54
@nickvergessen
nickvergessen merged commit a062cbd into master Jul 9, 2025
22 checks passed
@nickvergessen
nickvergessen deleted the chore/update-workflows branch July 9, 2025 13:00
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

3. to review Waiting for reviews

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants