Skip to content

Omni-bencher installation fix#1512

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

Omni-bencher installation fix#1512
Dinonard merged 1 commit intomasterfrom
fix/omni-bencher-installation-4

Conversation

@Dinonard
Copy link
Contributor

Pull Request Summary

Yet another attempt.

@Dinonard Dinonard added the ci This PR/Issue is related to the topic "CI" label Jul 21, 2025
@Dinonard Dinonard merged commit a8c2643 into master Jul 21, 2025
4 of 9 checks passed
@Dinonard Dinonard deleted the fix/omni-bencher-installation-4 branch July 21, 2025 13:50
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