Skip to content

Conversation

jneira
Copy link

@jneira jneira commented Jun 15, 2020

@alanz it builds succesfully in my local win 10

@alanz alanz merged commit 62bd319 into alanz:bump-ghcide Jun 15, 2020
@jneira jneira deleted the bump-ghcide branch October 10, 2020 14:34
alanz pushed a commit that referenced this pull request Feb 16, 2021
* Auto cancel redundant workflows (attempt #2)

* empty commit to test
alanz pushed a commit that referenced this pull request Feb 16, 2021
alanz pushed a commit that referenced this pull request Feb 16, 2021
Revert "Auto cancel redundant workflows (attempt #2)"
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