Skip to content
Snippets Groups Projects
Commit 6dbba25f authored by Michele Alberti's avatar Michele Alberti Committed by Virgile Prevosto
Browse files

[Nix] Some hacking.

parent 876cffb6
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 1 addition and 1 deletion
.gitlab-ci.yml
+ 1
− 1
View file @ 6dbba25f
......@@ -19,6 +19,6 @@ git-update:
Tests:
stage: tests
script:
- nix/frama-ci.sh build -A frama-clang.tests
- nix-shell -I nixpkgs=https://github.com/NixOS/nixpkgs/archive/0c0fe6d85b92c4e992e314bd6f9943413af9a309.tar.gz -p nix --run "nix/frama-ci.sh build -A frama-clang.tests"
tags:
- nix
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment