Skip to content

Fix nix #69

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Open
wants to merge 2 commits into
base: main
Choose a base branch
from
Open

Fix nix #69

wants to merge 2 commits into from

Conversation

Anderssorby
Copy link

This fixes nix build
Depends on argumentcomputer/Ipld.lean#7

@arthurpaulino
Copy link
Member

I'd rather not have the /scr/ and keep the default Lake structure

@arthurpaulino
Copy link
Member

@Anderssorby wanna update/fix the PR?

@Anderssorby
Copy link
Author

Yes, but merge this first argumentcomputer/Ipld.lean#7

@arthurpaulino
Copy link
Member

Done 👍🏼

@Anderssorby
fix: Nix build
534a02f 
* Undo src move
@Anderssorby Anderssorby marked this pull request as ready for review July 5, 2022 18:04
@Anderssorby
fix: Frontend and src
93106a7 
* Use fenix for rust toolchain
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
infra
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@Anderssorby @arthurpaulino