Skip to content

chore(ci): Update workflows#385

Merged
ChristophWurst merged 2 commits intomainfrom
chore/update-ci-workflows
Mar 17, 2025
Merged

chore(ci): Update workflows#385
ChristophWurst merged 2 commits intomainfrom
chore/update-ci-workflows

Conversation

@Altahrim
Copy link
Collaborator

No description provided.

@Altahrim Altahrim self-assigned this Mar 17, 2025
@Altahrim Altahrim marked this pull request as ready for review March 17, 2025 08:45
Signed-off-by: Benjamin Gaussorgues <benjamin.gaussorgues@nextcloud.com>
Signed-off-by: Benjamin Gaussorgues <benjamin.gaussorgues@nextcloud.com>
@Altahrim Altahrim force-pushed the chore/update-ci-workflows branch from 5b96859 to e186fc3 Compare March 17, 2025 11:06
@ChristophWurst ChristophWurst merged commit 4c16615 into main Mar 17, 2025
38 checks passed
@ChristophWurst ChristophWurst deleted the chore/update-ci-workflows branch March 17, 2025 11:17
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