Skip to content

Workaround problem in CI - #19

Merged
jecisc merged 1 commit into
developmentfrom
ci
Aug 27, 2026
Merged

Workaround problem in CI#19
jecisc merged 1 commit into
developmentfrom
ci

Conversation

@jecisc

Copy link
Copy Markdown
Member

No description provided.

@jecisc
jecisc merged commit 8cf83fe into developmentAug 27, 2026
10 checks passed
@jecisc
jecisc deleted the ci branch August 27, 2026 01:21
Sign up for freeto 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

@jecisc