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

Add TUI button for GitHub Actions #395

Closed
vrom911 opened this issue Jan 3, 2020 · 0 comments · Fixed by #396
Closed

Add TUI button for GitHub Actions #395

vrom911 opened this issue Jan 3, 2020 · 0 comments · Fixed by #396
Assignees
@vrom911
Labels
TUI
Milestone
v2.0: Major update

Comments

@vrom911
Copy link
Member

vrom911 commented Jan 3, 2020

No description provided.

@vrom911 vrom911 added the TUI label Jan 3, 2020
@vrom911 vrom911 added this to the v2.0: Major update milestone Jan 3, 2020
@vrom911 vrom911 self-assigned this Jan 3, 2020
vrom911 pushed a commit that referenced this issue Jan 3, 2020
[#395] Add TUI button for GitHub Actions
ade5576 
Resolves #395
@vrom911 vrom911 mentioned this issue Jan 3, 2020
Merged
chshersh added a commit that referenced this issue Jan 4, 2020
@vrom911 @chshersh
[#395] Add TUI button for GitHub Actions (#396)
8b2131e 
* [#395] Add TUI button for GitHub Actions

Resolves #395

* Update README.md

Co-Authored-By: Dmitrii Kovanikov <kovanikov@gmail.com>

* Renew TUI when cabal checkbox changes

Co-authored-by: Dmitrii Kovanikov <kovanikov@gmail.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@vrom911 vrom911

Labels
TUI
Projects
None yet
Milestone
v2.0: Major update
Development

Successfully merging a pull request may close this issue.

[#395] Add TUI button for GitHub Actions kowainik/summoner
1 participant
@vrom911