[go: up one dir, main page]

ci: new strategy for dune cache

This MR change the cache strategy for dune. All merge_train / merge_result pipelines are now with policy pull-push, while scheduled pipeline with policy pull.

This is a scheduled pipeline to populate the cache : https://gitlab.com/tezos/tezos/-/pipelines/2210988652

THIS IS A POC.

The rational behind this experiment.

https://hackmd.io/@pietro1234/rJbw0IOGZx

Ignore the comments below. I just recycled an abandoned MR.

Edited by pietro

Merge request reports

Loading