From 37a38b8095259ed333c8b7763336b7e90dce18ca Mon Sep 17 00:00:00 2001 From: Florian Fischer <florian.fischer@muhq.space> Date: Tue, 17 May 2022 11:30:53 +0200 Subject: [PATCH] include the commit id in the result file names --- ...7.7-arch1-2-nom.tex => fe6139f-pasture-5.17.7-arch1-2-nom.tex} | 0 ...ture-5.17.7-arch1-2.tex => fe6139f-pasture-5.17.7-arch1-2.tex} | 0 2 files changed, 0 insertions(+), 0 deletions(-) rename results/{pasture-5.17.7-arch1-2-nom.tex => fe6139f-pasture-5.17.7-arch1-2-nom.tex} (100%) rename results/{pasture-5.17.7-arch1-2.tex => fe6139f-pasture-5.17.7-arch1-2.tex} (100%) diff --git a/results/pasture-5.17.7-arch1-2-nom.tex b/results/fe6139f-pasture-5.17.7-arch1-2-nom.tex similarity index 100% rename from results/pasture-5.17.7-arch1-2-nom.tex rename to results/fe6139f-pasture-5.17.7-arch1-2-nom.tex diff --git a/results/pasture-5.17.7-arch1-2.tex b/results/fe6139f-pasture-5.17.7-arch1-2.tex similarity index 100% rename from results/pasture-5.17.7-arch1-2.tex rename to results/fe6139f-pasture-5.17.7-arch1-2.tex -- GitLab