civodul pushed a change to branch main.
from 774113d templates: Distinguish pull requests from other jobsets in
spec list.
new 13737f2 templates: Add missing unquote for pull request info box.
new b68a22d templates: Really distinguish pull requests in spec list.
new f9c951d templates: Display pull-request info on evaluation build page.Summary of changes: src/cuirass/http.scm | 2 ++ src/cuirass/templates.scm | 15 ++++++++++----- 2 files changed, 12 insertions(+), 5 deletions(-)
