From c63783f09d0720e17b1845e0930f9454f9dd62da Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@m4x.org>
Date: Wed, 5 Aug 2020 16:42:52 +0200
Subject: [PATCH] [ci] update nixos version to 20.03
---
nix/frama-ci.sh | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/nix/frama-ci.sh b/nix/frama-ci.sh
index b331b057..dbbe1bb0 100755
--- a/nix/frama-ci.sh
+++ b/nix/frama-ci.sh
@@ -4,7 +4,7 @@ DIR=$(dirname $0)
export FRAMA_CI_NIX=$DIR/frama-ci.nix
-export FRAMA_CI=$(nix-instantiate --eval -E "((import <nixos-19.03> {}).callPackage $FRAMA_CI_NIX { password = \"$TOKEN_FOR_API\";}).src.outPath")
+export FRAMA_CI=$(nix-instantiate --eval -E "((import <nixos-20.03> {}).callPackage $FRAMA_CI_NIX { password = \"$TOKEN_FOR_API\";}).src.outPath")
FRAMA_CI=${FRAMA_CI#\"}
FRAMA_CI=${FRAMA_CI%\"}
--
GitLab