diff options
| author | Théo Zimmermann | 2019-02-18 14:05:28 +0100 |
|---|---|---|
| committer | Théo Zimmermann | 2019-03-01 18:43:01 +0100 |
| commit | f70820df5f2da589a302dce5d0cd92988c59ccae (patch) | |
| tree | 63c19dec7b0dd256d33fac951cd14181d0e46cc7 /dev/ci | |
| parent | 8e83893e23131eb659780a116134996e430ead87 (diff) | |
When Nix build is finished and pushed to Cachix, update a specific branch.
This should allow CI jobs that use our Cachix to only test against Coq versions
that are already available in Cachix, avoiding very long build and time outs e.g.
in the math-classes CI.
Co-authored-by: Vincent Laporte <Vincent.Laporte@inria.fr>
Diffstat (limited to 'dev/ci')
0 files changed, 0 insertions, 0 deletions