Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
pub
Frama Clang
Commits
85dbf80c
Commit
85dbf80c
authored
Jun 07, 2022
by
Allan Blanchard
Browse files
Update nix/frama-ci.*
parent
16fcada1
Pipeline
#45598
failed with stages
Changes
1
Pipelines
1
Hide whitespace changes
Inline
Side-by-side
nix/frama-ci.nix
View file @
85dbf80c
...
...
@@ -5,8 +5,8 @@ let
src
=
builtins
.
fetchGit
{
"url"
=
"https://bobot:
${
password
}
@git.frama-c.com/frama-c/Frama-CI.git"
;
"name"
=
"Frama-CI"
;
"rev"
=
"
37fae65509b51c40cf72e9f0312e45303db73c05
"
;
"ref"
=
"
feature/nix/add_ci_to_linea-cabs
"
;
"rev"
=
"
ceea8c97fc127db159bfd92919eae404e2e67f18
"
;
"ref"
=
"
master
"
;
};
pkgs
=
import
"
${
src
}
/pkgs.nix"
{};
in
...
...
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment