Generate and upload a JSON result

This commit is contained in:
Quentin 2022-02-05 19:08:10 +01:00
parent 241db1e1f5
commit 6f7ef11537
2 changed files with 15 additions and 7 deletions

View file

@ -88,10 +88,8 @@ let
builds = builtins.sort cmpDate (map (x: { version = x; builds = builtins.getAttr x builds_per_version; }) versions_commit);
}
];
in
{
json = pkgs.writeTextDir "share/_releases.json" (builtins.toJSON sorted_builds);
json = pkgs.writeTextDir "share/_releases.json" (builtins.toJSON sorted_builds);
html = pkgs.writeTextDir "share/_releases.html" ''
<!doctype html>
<html>
@ -146,4 +144,8 @@ in
</body>
</html>
'';
in
pkgs.symlinkJoin {
name = "releases";
paths = [ json html ];
}

View file

@ -51,9 +51,15 @@ function refresh_index {
--endpoint-url https://garage.deuxfleurs.fr \
--region garage \
s3 cp \
--content-type "text/html" \
result \
s3://garagehq.deuxfleurs.fr/_releases.html
result/share/_releases.json \
s3://garagehq.deuxfleurs.fr/
aws \
--endpoint-url https://garage.deuxfleurs.fr \
--region garage \
s3 cp \
result/share/_releases.html \
s3://garagehq.deuxfleurs.fr/
}
function refresh_toolchain {