-
Notifications
You must be signed in to change notification settings - Fork 137
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
Clean up shell.nix #726
Clean up shell.nix #726
Conversation
Codecov Report
@@ Coverage Diff @@
## main #726 +/- ##
=======================================
Coverage 55.54% 55.54%
=======================================
Files 26 26
Lines 1100 1100
=======================================
Hits 611 611
Misses 474 474
Partials 15 15 📣 We’re building smart automated test selection to slash your CI/CD build times. Learn more |
@@ -9,29 +9,11 @@ in { pkgs ? import (_pkgs.fetchFromGitHub { | |||
|
|||
with pkgs; | |||
|
|||
let |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
How does this work with the CI now?
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Dont know if I understand the questions, sorry. Currently, the shell.nix
file is only needed for the ci-checks.sh
script.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
That answers the question 👍🏻 ; I'd forgotten.
Signed-off-by: Jacob Weinstock <jakobweinstock@gmail.com>
f481df7
to
0e32177
Compare
@Mergifyio queue |
✅ The pull request has been merged automaticallyThe pull request has been merged automatically at 7be72c7 |
Description
clean up shell.nix file of unused/needed deps for CI.
Why is this needed
Fixes: #
How Has This Been Tested?
How are existing users impacted? What migration steps/scripts do we need?
Checklist:
I have: