emersion / emersion/hottub

Don't invoke builds on push

Open
#6 0 comments 0 reactions 0 assignees View on GitHub
Dominant language
Go
Stars
10
Forks
2
PR merge metrics
No merged PRs in 30d

Description

Can it be made to not run on direct pushes (but still run on PRs)? I have some repos mirrored to github, so one commit invokes two builds (one for the push to sourcehut, one for the push to github):

Image

Contributor guide

Open the contributing guide

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.