Skip to content

github-ci: regenerate#93

Merged
bgamari merged 1 commit intomasterfrom
wip/update-ci
Jun 12, 2025
Merged

github-ci: regenerate#93
bgamari merged 1 commit intomasterfrom
wip/update-ci

Conversation

@bgamari
Copy link
Copy Markdown
Contributor

@bgamari bgamari commented Jun 12, 2025

No description provided.

@bgamari bgamari merged commit d9ec5ba into master Jun 12, 2025
24 checks passed
@bgamari bgamari deleted the wip/update-ci branch June 12, 2025 23:34
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