diff options
author | Silvan Mosberger <silvan.mosberger@tweag.io> | 2024-04-11 13:26:46 +0200 |
---|---|---|
committer | Silvan Mosberger <silvan.mosberger@tweag.io> | 2024-04-11 13:26:46 +0200 |
commit | 3b26d563c53acd716d5c15a0c7b0ff126a2a1625 (patch) | |
tree | e92723b016701db561df2f5e92e0b6566f8ba9cd /.github | |
parent | 3669ad7a7bce7ca56bfdcaff9d39e11684d66f9e (diff) |
Build Nixpkgs manual when nixdoc changes
Because this wasn't done previously, a PR was merged that broke the build: https://github.com/NixOS/nixpkgs/pull/302990#issuecomment-2049471406
Diffstat (limited to '.github')
-rw-r--r-- | .github/workflows/manual-nixpkgs.yml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.github/workflows/manual-nixpkgs.yml b/.github/workflows/manual-nixpkgs.yml index fafdfc1c6bf0c..b56d89eccd613 100644 --- a/.github/workflows/manual-nixpkgs.yml +++ b/.github/workflows/manual-nixpkgs.yml @@ -9,6 +9,7 @@ on: paths: - 'doc/**' - 'lib/**' + - 'pkgs/tools/nix/nixdoc/**' jobs: nixpkgs: |