Timestamp every revision entry, and say "latest" not "dernier"

The main entry read "main (dernier)" with no date while the commit rows
carried one, so the option that actually tracks the tip was the only one you
could not date. It now reports the tip commit's timestamp, and the label is
English -- "latest" reads as the ref-that-moves, like a latest tag.

Commit rows were %Y-%m-%d only, which is not enough resolution here: the two
top commits of the MiniLM repo are 2 seconds apart, so a whole training run
was indistinguishable from the one before it. Every row now carries date and
time through a single config.stamp, which the model line under the pickers
uses too -- three timestamps, one format, all UTC.

Labels changed but values did not, so a selected sha survives the refresh.
Empty repo degrades to a bare "main (latest)" with no dangling separator.

Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>

README.md

@@ -64,6 +64,11 @@ menus et suit le dépôt sélectionné, ce qui rend le choix par défaut lisible
 Attention, `last_modified` vaut pour le dépôt entier — une correction de
 README suffit à déplacer le choix par défaut, et la date affichée le montre.
 
+Chaque entrée du menu des révisions porte son horodatage, `main (latest)`
+compris, qui reprend celui du commit de tête — deux entraînements poussés le
+même jour restent donc distinguables. Un seul format partout,
+`%Y-%m-%d %H:%M` en UTC (`config.stamp`).
+
 Les deux sorties de `train.py` sont acceptées : la présence de `model_head.pkl`
 sélectionne le chemin SetFit, sinon le modèle est chargé comme un
 `AutoModelForSequenceClassification`.

app/config.py

@@ -1,4 +1,5 @@
 import os
+from datetime import datetime
 
 ORG = "bee2link"
 MODEL_SEARCH = "breakdown-risk-"
@@ -12,3 +13,8 @@ LABEL_NAMES = {"risk": "Risque de panne", "no_risk": "Pas de risque"}
 
 def display(label: str) -> str:
     return LABEL_NAMES.get(label, label)
+
+
+def stamp(when: datetime) -> str:
+    """One timestamp format everywhere; the Hub hands us UTC."""
+    return f"{when:%Y-%m-%d %H:%M}"

app/hub.py

@@ -4,7 +4,7 @@ from pathlib import Path
 
 from huggingface_hub import HfApi, hf_hub_download
 
-from .config import MODEL_SEARCH, ORG, TOKEN
+from .config import MODEL_SEARCH, ORG, TOKEN, stamp
 
 api = HfApi(token=TOKEN)
 
@@ -32,11 +32,12 @@ def revisions(repo: str) -> list[tuple[str, str]]:
     if not repo:
         return []
     commits = api.list_repo_commits(repo, token=TOKEN)
-    return [("main (dernier)", "main"), *(_commit_choice(c) for c in commits)]
+    tip = f" · {stamp(commits[0].created_at)}" if commits else ""
+    return [(f"main (latest){tip}", "main"), *(_commit_choice(c) for c in commits)]
 
 
 def _commit_choice(commit) -> tuple[str, str]:
-    label = f"{commit.commit_id[:7]} · {commit.title[:44]} · {commit.created_at:%Y-%m-%d}"
+    label = f"{commit.commit_id[:7]} · {commit.title[:44]} · {stamp(commit.created_at)}"
     return label, commit.commit_id
 
 

app/text.py

@@ -1,6 +1,6 @@
 from datetime import datetime
 
-from .config import CALLER_TURNS, DATASET_REPO, ORG
+from .config import CALLER_TURNS, DATASET_REPO, ORG, stamp
 
 HEADER = f"""
 # Risque d'immobilisation
@@ -30,4 +30,4 @@ def pushed_at(when: datetime | None) -> str:
     """Line under the pickers: when the selected repo was last touched."""
     if when is None:
         return ""
-    return f"<sub>Dépôt mis à jour le {when:%d/%m/%Y à %H:%M} UTC</sub>"
+    return f"<sub>Dépôt mis à jour le {stamp(when)} UTC</sub>"