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

🎅 Change message when config file cannot be found #1152

Merged
merged 2 commits into from
Dec 24, 2023
Merged

🎅 Change message when config file cannot be found #1152

merged 2 commits into from
Dec 24, 2023

Conversation

flip111
Copy link
Contributor

@flip111 flip111 commented Dec 24, 2023 •
edited by f-f
Loading

Fix #1058

f-f
f-f approved these changes Dec 24, 2023
View reviewed changes
Copy link
Member

@f-f f-f left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks!

@f-f
Copy link
Member

f-f commented Dec 24, 2023 •
edited
Loading

Oh, CI is not passing because the files are not well formatted, could you run purs-tidy on the patch?

You can run npm run format if you have it installed or are using the nix-shell

@f-f
Copy link
Member

f-f commented Dec 24, 2023

Thank you! Good to merge now 🚀

@f-f f-f merged commit bcf3cd4 into purescript:master Dec 24, 2023
3 checks passed
@flip111 flip111 changed the title Change message when config file cannot be found 🎅 Change message when config file cannot be found Dec 25, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@f-f f-f f-f approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

On json error spago advices to do spago init
2 participants
@flip111 @f-f