Github Pages

Allow grouping legend entries by id rather than name (#231) #118

Sign in to view logs

Triggered via push February 16, 2026 09:34

lucasmerlin

main

Status Success

Total duration 2m 1s

Artifacts –

pages.yml

on: push

build-github-pages