Skip to content

Revert "fix: ci github clone edge case"#9322

Merged
ludamad merged 1 commit intomasterfrom
revert-9320-ad/fix-ci-edge-case
Oct 22, 2024
Merged

Revert "fix: ci github clone edge case"#9322
ludamad merged 1 commit intomasterfrom
revert-9320-ad/fix-ci-edge-case

Conversation

@ludamad
Copy link
Collaborator

@ludamad ludamad commented Oct 22, 2024

Reverts #9320

@ludamad ludamad merged commit 1a27eb1 into master Oct 22, 2024
@ludamad ludamad deleted the revert-9320-ad/fix-ci-edge-case branch October 22, 2024 00:40
ludamad added a commit that referenced this pull request Oct 22, 2024
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.

1 participant