8000 cargo fmt by figsoda · Pull Request #655 · nix-community/nix-init · GitHub
[go: up one dir, main page]

Skip to content
1 < 8000 script type="application/json" data-target="react-partial.embeddedData">{"props":{}}

cargo fmt - #655

Merged
figsoda merged 2 commits into
mainfrom
fmt
Dec 30, 2025
Merged

figsoda merged 2 commits into
mainfrom
fmt

Conversation

@figsoda
@figsoda figsoda commented Dec 29, 2025
Copy link
Copy Markdown
Member

should hopefully fix CI failures

fixes CI failures
this change ended up being a lot larger than I hoped for

- update treefmt-nix because I was running into issue with rustfmt
- migrate to edition 2024 because treefmt-nix defaults to that, so we
  might as well make the change
- update nixpkgs for rust support
- update cargo dependency since our updated libgit2 didn't work
- add devShell since the previous version didn't work with my
  rust-analyzer
@figsoda
figsoda commented Dec 29, 2025
Copy link
Copy Markdown
Member Author

@mergify queue

@mergify
mergify Bot commented Dec 29, 2025 •
Copy link
Copy Markdown

queue

❌ The pull request has been merged manually

Details

The pull request has been merged manually at 242cb66

@mergify
mergify Bot commented Dec 29, 2025 •
Copy link
Copy Markdown

Merge Queue Status

🚫 The pull request has left the queue (rule: default) at f911c3a

This pull request spent 1 hour 26 minutes 40 seconds in the queue, with no time running CI.
The checks were run on draft #656.

Required conditions to merge
  • check-success=buildbot/nix-build
  • check-success=check (macos-latest)
  • check-success=check (ubuntu-latest)

Reason

Pull request #655 has been merged manually at 242cb66

Hint

You were too fast!

@mergify mergify Bot added the queued label Dec 29, 2025
mergify Bot added a commit that referenced this pull request Dec 29, 2025
@figsoda
figsoda merged commit 242cb66 into main Dec 30, 2025
3 of 4 checks passed
@figsoda
figsoda deleted the fmt branch December 30, 2025 01:12
@mergify mergify Bot added dequeued and removed queued labels Dec 30, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant

0