Deploy docs

Merge pull request #9 from HendrikBorgelt/dependabot/github_actions/r… #36

Sign in to view logs

Triggered via push February 4, 2026 10:49

main

Status Success

Total duration 34s

Artifacts –

deploy-docs.yaml

on: push