Deploy Documentation to Github Pages

ci: replace linting setup with flint (#1883) #904

Sign in to view logs

Triggered via push February 16, 2026 19:43

zeitlinger

main

Status Success

Total duration 4m 34s

Artifacts –

github-pages.yaml

on: push