[DEV] Override jenkins build number for builds

2024-07-09 23:12:37 +02:00
parent 2da9f21784
commit 134dd86e99
15 changed files with 21 additions and 14 deletions
--- a/commit.sha
+++ b/commit.sha
@@ -1 +1 @@
-431400947954357e9afe1a9e3fbddc9c67d05fca
+abdb68ca08db07525a68e2cf1b3e26e972e6f0d6