Skip to content

Temporarily add addWarning to weeder roots to fix CI#4249

Merged
rhendric merged 1 commit intopurescript:masterfrom
JordanMartinez:fix-weeder-issue
Feb 27, 2022
Merged

Temporarily add addWarning to weeder roots to fix CI#4249
rhendric merged 1 commit intopurescript:masterfrom
JordanMartinez:fix-weeder-issue

Conversation

@JordanMartinez
Copy link
Copy Markdown
Contributor

@JordanMartinez JordanMartinez commented Feb 27, 2022

Description of the change

See #4232 (comment) and the following comment. I'm not adding a changelog entry here because this change will be undone by #4241

Checklist:

  • Added a file to CHANGELOG.d for this PR (see CHANGELOG.d/README.md)
  • Added myself to CONTRIBUTORS.md (if this is my first contribution)
  • Linked any existing issues or proposals that this pull request should close
  • Updated or added relevant documentation
  • Added a test for the contribution (if applicable)

@JordanMartinez JordanMartinez changed the title Temporarily add addWarning weeder roots to fix CI Temporarily add addWarning to weeder roots to fix CI Feb 27, 2022
@JordanMartinez JordanMartinez mentioned this pull request Feb 27, 2022
Merged
5 tasks
@rhendric rhendric merged commit 1419786 into purescript:master Feb 27, 2022
@JordanMartinez JordanMartinez mentioned this pull request Feb 28, 2022
Merged
5 tasks
@JordanMartinez JordanMartinez deleted the fix-weeder-issue branch May 14, 2022 08:30
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@rhendric rhendric rhendric 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.

2 participants

@JordanMartinez @rhendric