Deploy docs

Merge pull request #66 from HendrikBorgelt/update_semantics_based_on_… #70

Sign in to view logs

Triggered via push June 2, 2026 11:35

main

Status Success

Total duration 1m 16s

Artifacts –

deploy-docs.yaml

on: push