Skip to content

Comments

Use std::filesystem::path in libflake.#14659

Merged
Ericson2314 merged 1 commit intoNixOS:masterfrom
vinayakankugoyal:path
Nov 27, 2025
Merged

Use std::filesystem::path in libflake.#14659
Ericson2314 merged 1 commit intoNixOS:masterfrom
vinayakankugoyal:path

Conversation

@vinayakankugoyal
Copy link
Contributor

Motivation

Use std::filesystem::path in libflake.

Context

#9205


Add 👍 to pull requests you find important.

The Nix maintainer team uses a GitHub project board to schedule and track reviews.

@xokdvium
Copy link
Contributor

@Ericson2314 can we please at least first make sure that mingw build still works before merging so much stuff?

@xokdvium
Copy link
Contributor

Here's the issue #14662. Would be nice to address first and to make sure that it builds this time.

@Ericson2314
Copy link
Member

Ericson2314 commented Nov 26, 2025

My plan was just to go fix it afterwards. I figured the incremental conversation meant we might get a bunch of .string() we'd end up not needing once more was converted, so it would be simpler to do at the end.

How does that sound?

@xokdvium xokdvium added this pull request to the merge queue Nov 26, 2025
@xokdvium xokdvium removed this pull request from the merge queue due to a manual request Nov 26, 2025
@xokdvium xokdvium enabled auto-merge November 26, 2025 22:48
@xokdvium xokdvium added this pull request to the merge queue Nov 26, 2025
@github-merge-queue github-merge-queue bot removed this pull request from the merge queue due to failed status checks Nov 26, 2025
@Ericson2314 Ericson2314 added this pull request to the merge queue Nov 26, 2025
@Ericson2314
Copy link
Member

Ugh flake regression failure in merge queue looked spurious.

@github-merge-queue github-merge-queue bot removed this pull request from the merge queue due to failed status checks Nov 26, 2025
@Ericson2314 Ericson2314 added this pull request to the merge queue Nov 27, 2025
Merged via the queue into NixOS:master with commit d3aa045 Nov 27, 2025
16 checks passed
@edolstra edolstra mentioned this pull request Dec 9, 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