Skip to content

chore(ci): update workflows#108

Merged
Altahrim merged 1 commit intomasterfrom
chore/update-workflows
Sep 28, 2025
Merged

chore(ci): update workflows#108
Altahrim merged 1 commit intomasterfrom
chore/update-workflows

Conversation

@Altahrim
Copy link
Copy Markdown
Collaborator

No description provided.

@Altahrim Altahrim self-assigned this Sep 15, 2025
Signed-off-by: Benjamin Gaussorgues <benjamin.gaussorgues@nextcloud.com>
@Altahrim Altahrim force-pushed the chore/update-workflows branch from ebf277d to b00af1c Compare September 28, 2025 16:10
@Altahrim Altahrim enabled auto-merge September 28, 2025 16:12
@Altahrim Altahrim requested a review from skjnldsv September 28, 2025 16:13
@Altahrim Altahrim merged commit ecb087e into master Sep 28, 2025
19 checks passed
@Altahrim Altahrim deleted the chore/update-workflows branch September 28, 2025 18:26
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