Deploy Documentation to Github Pages

add Benchmark update & cleanup mise tasks (#1664) #708

Sign in to view logs

Triggered via push November 4, 2025 18:21

zeitlinger

main

Status Success

Total duration 4m 30s

Artifacts –

github-pages.yaml

on: push