Skip to content

Conversation

@geekosaur
Copy link
Collaborator

Otherwise CI prints validate.sh: 332: [[: not found and the line does nothing (but validate.sh continues to run), unless the system shell is ksh / bash / zsh. This may explain #10114 (comment).

Please read Github PR Conventions and then fill in one of these two templates.


Template B: This PR does not modify behaviour or interface

E.g. the PR only touches documentation or tests, does refactorings, etc.

Include the following checklist in your PR:

  • Patches conform to the coding conventions.
  • Is this a PR that fixes CI? If so, it will need to be backported to older cabal release branches (ask maintainers for directions). —only indirectly

@geekosaur
Copy link
Collaborator Author

Won't pass CI until #10172 lands.

Copy link
Collaborator

@jasagredo jasagredo left a comment

Choose a reason for hiding this comment

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

Thanks and sorry!

@geekosaur geekosaur force-pushed the validate-non-posix-test branch from 670e5ad to ec4bf91 Compare July 4, 2024 14:09
@geekosaur geekosaur added merge me Tell Mergify Bot to merge and removed attention: needs-review labels Jul 4, 2024
@mergify mergify bot added the merge delay passed Applied (usually by Mergify) when PR approved and received no updates for 2 days label Jul 6, 2024
Otherwise CI prints `validate.sh: 332: [[: not found` and the line
does nothing (but `validate.sh` continues to run), unless the
system shell is `ksh` / `bash` / `zsh`. This may explain
haskell#10114 (comment).
@Mikolaj Mikolaj force-pushed the validate-non-posix-test branch from ec4bf91 to 0b5cf15 Compare July 6, 2024 17:30
@mergify mergify bot merged commit b50d9ed into haskell:master Jul 6, 2024
@geekosaur geekosaur deleted the validate-non-posix-test branch July 18, 2024 03:38
@geekosaur
Copy link
Collaborator Author

@mergify backport 3.12

@mergify
Copy link
Contributor

mergify bot commented Aug 30, 2024

backport 3.12

✅ Backports have been created

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

merge delay passed Applied (usually by Mergify) when PR approved and received no updates for 2 days merge me Tell Mergify Bot to merge platform: windows

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants