Skip to content

Omni bencher fix try5#1513

Merged
Dinonard merged 1 commit intomasterfrom
fix/omni-bencher-installation-5
Jul 21, 2025
Merged

Omni bencher fix try5#1513
Dinonard merged 1 commit intomasterfrom
fix/omni-bencher-installation-5

Conversation

@Dinonard
Copy link
Contributor

Pull Request Summary

@Dinonard Dinonard added the ci This PR/Issue is related to the topic "CI" label Jul 21, 2025
@Dinonard Dinonard merged commit 0ebcf7f into master Jul 21, 2025
3 of 9 checks passed
@Dinonard Dinonard deleted the fix/omni-bencher-installation-5 branch July 21, 2025 14:08
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

ci This PR/Issue is related to the topic "CI"

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants