Merge branch 'gitlab-ci-nix' into 'master'
Nix-based CI See merge request !2
Showing
.gitignore
0 → 100644
.gitlab-ci.yml
0 → 100644
scripts/build-all.nix
0 → 100644
scripts/summarize.py
0 → 100755
Please register or sign in to comment