Skip to content

Conversation

@Alizter
Copy link
Collaborator

@Alizter Alizter commented Jun 27, 2024

I missed an extra argument here before which meant that the development shell didn't build. I've fixed this and updated the flake.

Signed-off-by: Ali Caglayan <[email protected]>

<!-- ps-id: 9d8208eb-abc6-4bde-817b-4e955bda7af6 -->
@jdchristensen
Copy link
Collaborator

Just to confirm: the flake.lock file is intentionally tracked in git?

@Alizter
Copy link
Collaborator Author

Alizter commented Jun 27, 2024

@jdchristensen Yes. The flake.nix file tells nix how to build something and the flake.lock file tells nix which version of its dependencies (mostly nixpkgs (a huge monorepo of packages)) to use. This makes nix environments reproducible.

@Alizter Alizter merged commit 2a29249 into HoTT:master Jun 27, 2024
@Alizter Alizter deleted the ps/rr/fix_nix_flake branch June 27, 2024 18:13
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