Nightly deployment of MetAcsl sources to pub/meta repository

e377ca97 · Virgile Prevosto · François Bobot · fb604b9f · e377ca97
Commit e377ca97 authored Oct 28, 2020 by Virgile Prevosto Committed by François Bobot Oct 28, 2020
Hide whitespace changes
Inline Side-by-side

Showing with 12 additions and 0 deletions

.gitlab-ci.yml .gitlab-ci.yml +12 -0

No files found.
--- 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