Add grouped labels to header docs dropdown · sirixdb/sirixdb.github.io@2e5d541

Triggered via push March 2, 2026 19:06

master

Status Success

Total duration 30s

Artifacts 1

jekyll.yml

on: push

Produced during runtime

Name	Size	Digest
github-pages Expired	15.7 MB	`sha256:22a937ece63a7308e42aa33d790daac172b2eb4e1f527460f289ae3c44bc4754`