Skip to content

Fix bender checkout CI issue#88

Merged
Lore0599 merged 6 commits into
develfrom
v02
Apr 17, 2026
Merged

Fix bender checkout CI issue#88
Lore0599 merged 6 commits into
develfrom
v02

Conversation

@Lore0599
Copy link
Copy Markdown
Contributor

Fix CI for v0.2.0

@Lore0599 Lore0599 merged commit 09fb663 into devel Apr 17, 2026
6 checks passed
@Lore0599 Lore0599 deleted the v02 branch April 17, 2026 14:48
Lore0599 added a commit that referenced this pull request Apr 17, 2026
Fix bender checkout CI issue
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