Skip to content

GitHub CI#192

Merged
xqms merged 2 commits intomasterfrom
feature/github_ci
Sep 6, 2025
Merged

GitHub CI#192
xqms merged 2 commits intomasterfrom
feature/github_ci

Conversation

@xqms
Copy link
Owner

@xqms xqms commented Sep 6, 2025

No description provided.

@xqms xqms force-pushed the feature/github_ci branch 2 times, most recently from bc6cfab to 151f9a7 Compare September 6, 2025 21:29
@xqms xqms force-pushed the feature/github_ci branch from e96b970 to ce8a1a1 Compare September 6, 2025 21:49
@xqms xqms merged commit e5a87e3 into master Sep 6, 2025
2 checks passed
@xqms xqms deleted the feature/github_ci branch September 6, 2025 22:04
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