PDFs: add as Hydra build products

IntersectMBO · Apr 17, 2024 · 5b7fcb7 · 5b7fcb7
1 parent 7e885c5
commit 5b7fcb7
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/nix/pdfs.nix b/nix/pdfs.nix
@@ -35,6 +35,11 @@ final: prev: {
 
       cp tech-reports/**/*.pdf $out/
       cp formal-spec/consensus-spec.pdf $out/
+
+      mkdir -p $out/nix-support
+      for pdf in $out/*.pdf; do
+        echo "file binary-dist $pdf" >> $out/nix-support/hydra-build-products
+      done
     '';
   };
 }