Upload static/index.html with huggingface_hub

static/index.html

@@ -1540,13 +1540,34 @@ function renderChart(entries) {
           min: xMin, max: extendedEnd,
           grid: { color: GRID, drawBorder: false },
           border: { display: false },
+          // For multi-day spans, replace Chart.js's auto-spaced ticks
+          // (which can land at 09:23 / 14:51 / etc., making the "May 6"
+          // labels appear at arbitrary times) with one tick per local
+          // midnight. Single-day spans keep the auto time ticks.
+          afterBuildTicks: scale => {
+            if ((scale.max - scale.min) <= 24 * 3600 * 1000) return;
+            const ticks = [];
+            const d = new Date(scale.min);
+            d.setHours(0, 0, 0, 0);
+            if (d.getTime() < scale.min) d.setDate(d.getDate() + 1);
+            while (d.getTime() <= scale.max) {
+              ticks.push({ value: d.getTime() });
+              d.setDate(d.getDate() + 1);
+            }
+            // Thin out if we'd otherwise crowd the axis.
+            const maxTicks = 8;
+            if (ticks.length > maxTicks) {
+              const step = Math.ceil(ticks.length / maxTicks);
+              scale.ticks = ticks.filter((_, i) => i % step === 0);
+            } else {
+              scale.ticks = ticks;
+            }
+          },
           ticks: {
             color: '#888',
             font: { family: "'JetBrains Mono', monospace", size: 10 },
             callback: v => {
               const d = new Date(v);
-              // When the chart spans more than a day, time labels lose
-              // meaning across the gap — show "May 6" instead of "09:23".
               if ((extendedEnd - xMin) > 24 * 3600 * 1000) {
                 const months = ['Jan','Feb','Mar','Apr','May','Jun','Jul','Aug','Sep','Oct','Nov','Dec'];
                 return `${months[d.getMonth()]} ${d.getDate()}`;