Add initial GitLab CI configuration

This will automatically build and publish the Home Manager manual on
GitLab Pages.
This commit is contained in:
Robert Helgesson 2018-08-20 21:04:16 +02:00
parent 7a8d50a803
commit 8e05229e62
No known key found for this signature in database
GPG key ID: 36BDAA14C2797E89

14
.gitlab-ci.yml Normal file
View file

@ -0,0 +1,14 @@
image: nixos/nix:latest
pages:
script:
- mkdir -p ~/.config/nixpkgs
- echo '{ manual.html.enable = true; }' > ~/.config/nixpkgs/home.nix
- nix-shell . -A install
- mkdir public
- cp -r ~/.nix-profile/share/doc/home-manager/* public/
artifacts:
paths:
- public
only:
- master