home-manager/.builds
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
..
manual.yml ci: build manual and push to home-manager.dev 2023-06-25 00:55:43 +02:00