Deploy Documentation site to Pages

Correct type notation of `msg` #13

Sign in to view logs

Triggered via push May 31, 2026 14:23

main

Status Success

Total duration 56s

Artifacts –

deploy-docs.yml

on: push