Skip to content
Snippets Groups Projects
Commit a0fbd37f authored by Allan Blanchard's avatar Allan Blanchard
Browse files

[ci] use the Frama-CI bot deploy token

parent dedcd6f4
No related branches found
No related tags found
No related merge requests found
...@@ -374,7 +374,7 @@ src-distrib-tests-long: ...@@ -374,7 +374,7 @@ src-distrib-tests-long:
.build_template: &prepare_ssh_template .build_template: &prepare_ssh_template
before_script: before_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 - echo "$FRAMA_CI_BOT_SSH_PRIVATE" | 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 - nix run -f channel:nixos-19.03 coreutils --command chmod 400 nix/frama-c-public/id_ed25519
release-frama-c: release-frama-c:
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment