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 | |
| 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]>
| -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: |