diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-08-31 17:20:53 +0100 |
---|---|---|
committer | GitHub <[email protected]> | 2020-08-31 17:20:53 +0100 |
commit | 148a60b0757d3c741681a68c86b665ea026a127a (patch) | |
tree | 24c836e944c2a24b63ecd2fc3c45df6730b09236 /.github/workflows | |
parent | 753af410056937d7be3a1b3457c834a887288957 (diff) | |
parent | 79337095c1ae70ba941812b741198cc6aaf5602b (diff) |
Merge #5921
5921: Don't publish every day and do it only for release r=matklad a=pksunkara
I think this is a good balance.
Co-authored-by: Pavan Kumar Sunkara <[email protected]>
Diffstat (limited to '.github/workflows')
-rw-r--r-- | .github/workflows/publish.yml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/.github/workflows/publish.yml b/.github/workflows/publish.yml index 0e26bb784..e54a3693b 100644 --- a/.github/workflows/publish.yml +++ b/.github/workflows/publish.yml | |||
@@ -2,8 +2,8 @@ name: publish | |||
2 | on: | 2 | on: |
3 | workflow_dispatch: # We can add version input when 1.0 is released and scheduled releases are removed | 3 | workflow_dispatch: # We can add version input when 1.0 is released and scheduled releases are removed |
4 | 4 | ||
5 | schedule: | 5 | # schedule: |
6 | - cron: "0 0 * * *" # midnight UTC | 6 | # - cron: "0 0 * * *" # midnight UTC |
7 | 7 | ||
8 | push: | 8 | push: |
9 | branches: | 9 | branches: |