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.

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

Nix dev environment #23

Closed
wants to merge 8 commits into from
Closed

Nix dev environment #23

wants to merge 8 commits into from

Conversation

luc-tielen
Copy link
Owner

Fixes #22

@luc-tielen luc-tielen self-assigned this Apr 16, 2019
@coveralls
Copy link

coveralls commented Apr 16, 2019 •
edited

Coverage Status

Coverage decreased (-45.9%) to 51.767% when pulling 8cb65f5 on nix-dev-environment into fa5a57b on master.

@luc-tielen
Copy link
Owner Author

Closing this since it was much more work than I initially expected and kept running into annoying pthread issues on circleCI..

@luc-tielen luc-tielen closed this Jul 27, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees

@luc-tielen luc-tielen

Labels
work in progress
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

Look into different CI setup
2 participants
@luc-tielen @coveralls