diff options
author | Robert Helgesson <robert@rycee.net> | 2018-08-20 21:04:16 +0200 |
---|---|---|
committer | Robert Helgesson <robert@rycee.net> | 2018-08-20 22:03:26 +0200 |
commit | 8e05229e62c2c3a9d1afe2495fc411e705076112 (patch) | |
tree | 232aef530a7c8488f268d5161f2a4167da076045 /.gitlab-ci.yml | |
parent | 7a8d50a80381188e6fbdda7b2dd517ca71c3b487 (diff) |
Add initial GitLab CI configuration
This will automatically build and publish the Home Manager manual on
GitLab Pages.
Diffstat (limited to '.gitlab-ci.yml')
-rw-r--r-- | .gitlab-ci.yml | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml new file mode 100644 index 00000000000..18f19731e53 --- /dev/null +++ b/.gitlab-ci.yml @@ -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 |