1
0
Fork 0
mirror of https://github.com/nix-community/home-manager synced 2024-12-26 03:39:47 +01:00
Commit graph

2 commits

Author SHA1 Message Date
Robert Helgesson
f3a4512166
ci: fix manual build in sourcehut build
(cherry picked from commit e4611630c3)
2024-05-26 01:31:17 +02:00
Robert Helgesson
0ee5ab611d
ci: build manual and push to home-manager.dev
This builds the manual on builds.sr.ht and pushes it for availability
on

  https://home-manager.dev/manual/unstable or
  https://home-manager.dev/manual/{version}

depending on which release branch is built.
2023-06-25 00:55:43 +02:00