Merge branch 'upgrade/ci/4.14' into 'master'

Upgrade CI

See merge request frama-c/meta!73

.gitlab-ci.yml

@@ -8,7 +8,7 @@ stages:
 ### DEFAULT JOB PARAMETERS
 
 default:
-  tags: [nix]
+  tags: [nix-v2]
 
 ################################################################################
 ### VARIABLES

nix/meta.nix

 { mk_plugin
-, gitignoreSource
 , swiProlog
 }:
 
 mk_plugin {
   plugin-name = "metacsl" ;
-  plugin-src = gitignoreSource ./.. ;
+  plugin-src = fetchGit { shallow=true ; url=./.. ; } ;
   additional-check-inputs = [ swiProlog ] ;
   has-wp-proofs = true ;
 }