Skip to content

Add missing ci/index#140

Merged
Bronek merged 1 commit intomainfrom
bugfix_ci_index
Dec 8, 2024
Merged

Add missing ci/index#140
Bronek merged 1 commit intomainfrom
bugfix_ci_index

Conversation

@Bronek
Copy link
Member

@Bronek Bronek commented Dec 8, 2024

No description provided.

@Bronek Bronek merged commit f27aea2 into main Dec 8, 2024
@Bronek Bronek deleted the bugfix_ci_index branch December 8, 2024 20:45
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