diff options
author | Tom Kelly <ctk21@cl.cam.ac.uk> | 2021-03-02 14:21:14 +0000 |
---|---|---|
committer | Tom Kelly <ctk21@cl.cam.ac.uk> | 2021-03-02 14:21:14 +0000 |
commit | f57f53abdc99b6cdc9953cc35a167a753298e3c8 (patch) | |
tree | 938ad87b581d043c661c43d4b02525332a8ec179 /.github/workflows | |
parent | f95d708c847af63a6450bd527cf59db8fad67779 (diff) | |
parent | c920ea142b9f9cc0c0eaca6903f0e782da1036d1 (diff) | |
download | ocaml-f57f53abdc99b6cdc9953cc35a167a753298e3c8.tar.gz |
Merge commit 'c920ea142b9f9cc0c0eaca6903f0e782da1036d1' into parallel_minor_gc_4_12
Diffstat (limited to '.github/workflows')
-rw-r--r-- | .github/workflows/stale.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/workflows/stale.yml b/.github/workflows/stale.yml index 6dcec5f1bc..62e4864f69 100644 --- a/.github/workflows/stale.yml +++ b/.github/workflows/stale.yml @@ -1,7 +1,7 @@ name: "Close stale issues" on: schedule: - - cron: "15 4 * * *" + - cron: "15 4 * * 1,3,5" jobs: stale: |