From 9ad0ed238017a16a683f8042e60e63834dd90903 Mon Sep 17 00:00:00 2001
From: Doc CI Action <rasolca@users.noreply.github.com>
Date: Fri, 6 Dec 2024 14:38:13 +0000
Subject: [PATCH] Doc: Enable timestamps in CI logs (#1228)