Skip to content

Minor CI fixes#158

Merged
timholy merged 3 commits into
masterfrom
teh/ci
Jun 21, 2026
Merged

Minor CI fixes#158
timholy merged 3 commits into
masterfrom
teh/ci

Conversation

@timholy

@timholy timholy commented Jun 21, 2026

Copy link
Copy Markdown
Member

No description provided.

@timholy timholy merged commit 8cb3627 into master Jun 21, 2026
12 checks passed
@timholy timholy deleted the teh/ci branch June 21, 2026 10: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