Skip to content

Fix running local dev binaries #93

Merged
mergify[bot] merged 3 commits into
developfrom
fix-dev
Dec 3, 2025
Merged

Fix running local dev binaries #93
mergify[bot] merged 3 commits into
developfrom
fix-dev

Conversation

@tiagolobocastro

@tiagolobocastro tiagolobocastro commented Dec 2, 2025

Copy link
Copy Markdown
Member
build: don't build spdk on pre-commit lint

ci: test dev binary

build: use trampoline with nix-prefetch-github

Avoids pulling in unwanted dependencies

Avoids pulling in unwanted dependencies

Signed-off-by: Tiago Castro <tiagolobocastro@gmail.com>
@mergify

mergify Bot commented Dec 2, 2025

Copy link
Copy Markdown
Contributor

🧪 CI Insights

Here's what we observed from your CI run for 5f9a9c3.

🟢 All jobs passed!

But CI Insights is watching 👀

Signed-off-by: Tiago Castro <tiagolobocastro@gmail.com>
@tiagolobocastro tiagolobocastro force-pushed the fix-dev branch 4 times, most recently from b492210 to 1e848ae Compare December 3, 2025 00:20
Signed-off-by: Tiago Castro <tiagolobocastro@gmail.com>
@tiagolobocastro

Copy link
Copy Markdown
Member Author

@mergify queue

@mergify

mergify Bot commented Dec 3, 2025

Copy link
Copy Markdown
Contributor

queue

✅ The pull request has been merged automatically

Details

The pull request has been merged automatically at 2c0797e

@mergify

mergify Bot commented Dec 3, 2025

Copy link
Copy Markdown
Contributor

Merge Queue Status Beta

✅ The pull request has been merged

This pull request spent 9 seconds in the queue, with no time running CI.
The checks were run in-place.

Required conditions to merge
  • #approved-reviews-by >= 1 [🛡 GitHub branch protection]
  • #changes-requested-reviews-by = 0 [🛡 GitHub branch protection]
  • #review-threads-unresolved = 0 [🛡 GitHub branch protection]
  • branch-protection-review-decision = APPROVED [🛡 GitHub branch protection]
  • any of [🛡 GitHub branch protection]:
    • check-success = DCO
    • check-neutral = DCO
    • check-skipped = DCO
  • any of [🛡 GitHub branch protection]:
    • check-success = rust-lint (ubuntu-latest)
    • check-neutral = rust-lint (ubuntu-latest)
    • check-skipped = rust-lint (ubuntu-latest)
  • any of [🛡 GitHub branch protection]:
    • check-success = rust-lint (github-arm64-2c-8gb)
    • check-neutral = rust-lint (github-arm64-2c-8gb)
    • check-skipped = rust-lint (github-arm64-2c-8gb)
  • any of [🛡 GitHub branch protection]:
    • check-success = commitlint
    • check-neutral = commitlint
    • check-skipped = commitlint
  • any of [🛡 GitHub branch protection]:
    • check-success = nix-lint
    • check-neutral = nix-lint
    • check-skipped = nix-lint
  • any of [🛡 GitHub branch protection]:
    • check-success = rust-dev (github-arm64-2c-8gb)
    • check-neutral = rust-dev (github-arm64-2c-8gb)
    • check-skipped = rust-dev (github-arm64-2c-8gb)
  • any of [🛡 GitHub branch protection]:
    • check-success = rust-dev (ubuntu-latest)
    • check-neutral = rust-dev (ubuntu-latest)
    • check-skipped = rust-dev (ubuntu-latest)
  • any of [🛡 GitHub branch protection]:
    • check-neutral = Mergify Merge Protections
    • check-skipped = Mergify Merge Protections
    • check-success = Mergify Merge Protections

@mergify mergify Bot added the queued label Dec 3, 2025
@mergify mergify Bot merged commit 2c0797e into develop Dec 3, 2025
10 checks passed
@mergify mergify Bot removed the queued label Dec 3, 2025
@tiagolobocastro tiagolobocastro deleted the fix-dev branch April 2, 2026 13:47
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.

2 participants