diff options
| author | Théo Zimmermann | 2019-01-30 17:19:50 +0100 |
|---|---|---|
| committer | Théo Zimmermann | 2019-01-30 17:19:50 +0100 |
| commit | afdea7f8f812a4f040a325fef363dd16dd0628c3 (patch) | |
| tree | 7f9cfb483bf26eb72f976426e6249e35c3a2e51c | |
| parent | 96ca6ba10c61e6b9d305963635bff81ab47d3ca1 (diff) | |
Update Cachix signing key.
| -rw-r--r-- | .gitlab-ci.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 5382eaffdd..0b2d56fa3e 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -294,7 +294,7 @@ pkg:opam: variables: # By default we use coq.cachix.org as an extra substituter but this can be overridden EXTRA_SUBSTITUTERS: https://coq.cachix.org - EXTRA_PUBLIC_KEYS: coq.cachix.org-1:Jgt0DwGAUo+wpxCM52k2V+E0hLoOzFPzvg94F65agtI= + EXTRA_PUBLIC_KEYS: coq.cachix.org-1:5QW/wwEnD+l2jvN6QRbRRsa4hBHG3QiQQ26cxu1F5tI= # The following variables should not be overridden GIT_STRATEGY: none NIXOS_PUBLIC_KEY: cache.nixos.org-1:6NCHdD59X431o0gWypbMrAURkbJ16ZPMQFGspcDShjY= |