Skip to content

Fix/omni bencher installation 2#1511

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

Fix/omni bencher installation 2#1511
Dinonard merged 1 commit intomasterfrom
fix/omni-bencher-installation-2

Conversation

@Dinonard
Copy link
Contributor

Pull Request Summary

Another fix attempt.

@Dinonard Dinonard added the ci This PR/Issue is related to the topic "CI" label Jul 21, 2025
@Dinonard Dinonard marked this pull request as ready for review July 21, 2025 12:58
ermalkaleci
ermalkaleci previously approved these changes Jul 21, 2025
@Dinonard Dinonard dismissed ermalkaleci’s stale review July 21, 2025 13:00

The merge-base changed after approval.

@Dinonard Dinonard force-pushed the fix/omni-bencher-installation-2 branch from 44be1da to 74f9be3 Compare July 21, 2025 13:00
@Dinonard Dinonard merged commit 2dd6490 into master Jul 21, 2025
3 of 8 checks passed
@Dinonard Dinonard deleted the fix/omni-bencher-installation-2 branch July 21, 2025 13:13
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