From e377ca97b8e52c0826ff19a8d2b544666d90232e Mon Sep 17 00:00:00 2001 From: Virgile Prevosto <virgile.prevosto@cea.fr> Date: Wed, 28 Oct 2020 11:50:01 +0100 Subject: [PATCH] Nightly deployment of MetAcsl sources to pub/meta repository --- .gitlab-ci.yml | 12 ++++++++++++ 1 file changed, 12 insertions(+) diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index b86b0826b80..1587d00f7d5 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -228,3 +228,15 @@ make_public: - nix only: - schedules + +make_public_meta: + stage: make_public + script: + - echo "$FRAMA_C_PUBLIC_SSH_PRIVATE_KEY" | nix run -f channel:nixos-19.03 coreutils --command base64 -d > nix/frama-c-public/id_ed25519 + - nix run -f channel:nixos-19.03 coreutils --command chmod 400 nix/frama-c-public/id_ed25519 + - GIT_SSH=$PWD/nix/frama-c-public/ssh.sh nix run -f channel:nixos-19.03 openssh --command git clone git@git.frama-c.com:frama-c/meta.git nix/frama-c-public/meta + - GIT_SSH=$PWD/nix/frama-c-public/ssh.sh nix run -f channel:nixos-19.03 openssh --command git -C nix/frama-c-public/meta push git@git.frama-c.com:pub/meta origin/master:refs/heads/master + tags: + - nix + only: + - schedules -- GitLab