Skip to content

A number of PRs are stuck #385

Answered by SMillerDev
cesarcoatl asked this question in Casks
Dec 29, 2020 · 1 comments · 4 replies
Discussion options

You must be logged in to vote

The best way is just to make a comment in the PR, asking someone to restart CI.

Replies: 1 comment 4 replies

Comment options

You must be logged in to vote
4 replies
@k4rtik
Comment options

@cesarcoatl
Comment options

@k4rtik
Comment options

@jonchang
Comment options

Answer selected by cesarcoatl
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Category
Casks
Labels
None yet
4 participants