Skip to content

Conversation

@Arlodotexe
Copy link
Member

This PR fixes #406 and unblocks CI for other PRs.

@Arlodotexe Arlodotexe self-assigned this Apr 30, 2024
@Arlodotexe Arlodotexe enabled auto-merge (rebase) April 30, 2024 23:31
@Arlodotexe Arlodotexe merged commit 967d6c4 into main Apr 30, 2024
@delete-merged-branch delete-merged-branch bot deleted the fix/ci/artifact-duplication branch April 30, 2024 23:43
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

Status: Done

Development

Successfully merging this pull request may close these issues.

Random failure of CI due to Artifact duplication

3 participants