Skip to content
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.

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

build: define devShell #2

Merged
merged 1 commit into from
Aug 9, 2023
Merged

Conversation

jleightcap
Copy link
Contributor

#1

ngi-nix/ngipkgs#7

This PR adds a devShell for this flake

Co-authored-by: Jason Odoom jasonodoom@gmail.com
Co-authored-by: Anish Lakhwara anish+git@lakhwara.com
Co-authored-by: Dominic Mills dominic.millz27@gmail.com
Co-authored-by: Albert Chae albertchae@users.noreply.github.com
Co-authored-by: Jack Leightcap jack@leightcap.com

Signed-off-by: Jack Leightcap <jack@leightcap.com>
@hansfbaier hansfbaier merged commit 0e614ad into openXC7:main Aug 9, 2023
@hansfbaier
Copy link
Contributor

hansfbaier commented Aug 9, 2023

@jleightcap Many thanks!

@jleightcap jleightcap deleted the moss-devShell branch August 9, 2023 19:45
@albertchae albertchae mentioned this pull request Oct 5, 2023
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.

None yet

2 participants