Skip to content

Commit 4b9f50e

Browse files
committed
CI: caching: build once a day
Recently there is a lot of PRs/builds from internal repo branches. Repo cache has 10G pool limit & PR caches are not shared between PRs, but main branch cache is. Rebuilding it once a day ensures that if internal branch PRs pushed main state out of the pool - it gets reinstituted. *afaik* there is no way to prioritize main branch cache better, since GitHub CI FIFO caches out of the pool by build time.
1 parent ff770e0 commit 4b9f50e

File tree

1 file changed

+6
-0
lines changed

1 file changed

+6
-0
lines changed

.github/workflows/caching.yml

Lines changed: 6 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -30,6 +30,12 @@ on:
3030
push:
3131
branches:
3232
- master
33+
schedule:
34+
# Refresh snapshot every day at 08:25 UTC (~00:25 in California)
35+
# Why: If snapshot got removed from the pool
36+
# (because internal branch PRs save into the same FIFO pool)
37+
# reinstitution once a day allows to keep it back into FIFO pool.
38+
- cron: "25 8 * * *"
3339

3440
env:
3541
cabalBuild: "v2-build all --enable-tests --enable-benchmarks"

0 commit comments

Comments
 (0)