Skip to content

ci: fix tag finder#53

Merged
drgroot merged 1 commit intomainfrom
drgroot-patch-1
Jan 25, 2025
Merged

ci: fix tag finder#53
drgroot merged 1 commit intomainfrom
drgroot-patch-1

Conversation

@drgroot
Copy link
Member

@drgroot drgroot commented Jan 25, 2025

No description provided.

@drgroot drgroot merged commit a5edc27 into main Jan 25, 2025
32 of 33 checks passed
@drgroot drgroot deleted the drgroot-patch-1 branch January 25, 2025 03:16
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