Skip to content
New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Set an unique name for Hlint job #2544

Merged
merged 2 commits into from
Dec 27, 2021
Merged

Set an unique name for Hlint job #2544

merged 2 commits into from
Dec 27, 2021

Conversation

jneira
Copy link
Member

@jneira jneira commented Dec 27, 2021

As we have to add the job to branch pr merge checks and Run is too generic

@jneira jneira requested a review from Anton-Latukha December 27, 2021 09:13
@jneira
Copy link
Member Author

jneira commented Dec 27, 2021

I ve added the Run job just in case, will change when this will be merged

Co-authored-by: Anton Latukha <anton.latukha@gmail.com>
@Anton-Latukha Anton-Latukha added the merge me Label to trigger pull request merge label Dec 27, 2021
@mergify mergify bot merged commit 48c6eb1 into master Dec 27, 2021
@Anton-Latukha Anton-Latukha deleted the jneira/hlint-job-name branch December 27, 2021 18:20
drsooch pushed a commit to drsooch/haskell-language-server that referenced this pull request Dec 29, 2021
* Update hlint.yml

* Correct typo

Co-authored-by: Anton Latukha <anton.latukha@gmail.com>

Co-authored-by: Anton Latukha <anton.latukha@gmail.com>
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
merge me Label to trigger pull request merge
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants