Skip to content

Conversation

@tiagolobocastro
Copy link
Member

It seems that when the key does not match the value, there's a runtime error, rather than at compile time.

It seems that when the key does not match the value, there's a runtime
error, rather than at compile time.

Signed-off-by: Tiago Castro <[email protected]>
@tiagolobocastro tiagolobocastro requested a review from a team as a code owner November 28, 2025 17:15
@mergify
Copy link
Contributor

mergify bot commented Nov 28, 2025

🧪 CI Insights

Here's what we observed from your CI run for 8e08615.

🟢 All jobs passed!

But CI Insights is watching 👀

@tiagolobocastro
Copy link
Member Author

@mergify queue

@mergify
Copy link
Contributor

mergify bot commented Dec 1, 2025

queue

✅ The pull request has been merged automatically

The pull request has been merged automatically at 2b48339

@mergify
Copy link
Contributor

mergify bot commented Dec 1, 2025

Merge Queue Status Beta

✅ The pull request has been merged

This pull request spent 6 seconds in the queue, with no time waiting for 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 1, 2025
@mergify mergify bot merged commit 2b48339 into develop Dec 1, 2025
10 checks passed
@mergify mergify bot removed the queued label Dec 1, 2025
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.

3 participants