[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
master updated (2a63a01 -> 0930669)
|
From: |
Ludovic Courtès |
|
Subject: |
master updated (2a63a01 -> 0930669) |
|
Date: |
Tue, 5 Sep 2023 09:26:26 -0400 (EDT) |
civodul pushed a change to branch master.
from 2a63a01 http: Update to use symbols, not keywords, as keys on search
results.
new c74a2a1 templates: Factorize badges for broken evaluations.
new 0930669 templates: Fix broken evaluation display on the spec page.
Summary of changes:
src/cuirass/templates.scm | 40 +++++++++++++++++++++++-----------------
1 file changed, 23 insertions(+), 17 deletions(-)
- master updated (2a63a01 -> 0930669),
Ludovic Courtès <=