summaryrefslogtreecommitdiff
path: root/.github
diff options
context:
space:
mode:
authorMichael Hoang <enzime@users.noreply.github.com>2024-11-09 20:37:07 +1100
committerMichael Hoang <enzime@users.noreply.github.com>2024-11-09 20:37:50 +1100
commita89c85192354229d9fc0adfe11f3f89620eb9487 (patch)
tree933cb67f38215bb361c1f84aa69af0f84d64af97 /.github
parent814f2c2ab4eab1149f54c94846791953c497d26a (diff)
ci: don't override nixpkgs when building the manual
This causes `nix-darwin` to not have `rev` or `dirtyRev`
Diffstat (limited to '.github')
-rw-r--r--.github/workflows/update-manual.yml2
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/workflows/update-manual.yml b/.github/workflows/update-manual.yml
index a2f9382..42ee21e 100644
--- a/.github/workflows/update-manual.yml
+++ b/.github/workflows/update-manual.yml
@@ -21,7 +21,7 @@ jobs:
- name: Build manual
run: |
- nix build .#manualHTML --override-input nixpkgs nixpkgs/nixpkgs-24.05-darwin
+ nix build .#manualHTML
- name: Push update to manual
run: |