Avoid using rev in Agda derivation

This might make the derivation more cacheable

Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
This commit is contained in:
Danila Fedorin 2024-05-25 06:06:10 +00:00
parent f5c1772de0
commit 7d6f362936

View File

@ -27,7 +27,6 @@ let
in
stdenv.mkDerivation {
name = "blog-static-agda-html";
version = settings.src.rev or "dirty";
buildInputs = [ ruby agdaEnv ];
builder = builtins.toFile "builder.sh" "
source $stdenv/setup