Skip to content

Update Paket version #2798

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

Closed
wants to merge 1 commit into from
Closed

Conversation

NogginBops
Copy link

@NogginBops NogginBops commented Aug 6, 2024

Description

Cherry picked from #2763 in hopes it might be merged before #2763.
The PR contains whitespace changes that might not be necessary or wanted, I can remove these if necessary.

  • boy scout rule: "leave the code behind in a better state than you found it" (fix warnings, obsolete members or code-style in the places you worked in)
  • Fake API guideline is honored

@NogginBops NogginBops changed the title Update Paket lock Update Paket version Aug 6, 2024
@NogginBops
Copy link
Author

This was not actually an issue with FAKE, but a configuration issue on my end. Will close this in favor of merging #2763 eventually.

@NogginBops NogginBops closed this Aug 6, 2024
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