Deploy MkDocs site to GitHub Pages

Update RCP connection instructions for clarity #72

Sign in to view logs

Triggered via push March 9, 2026 14:11

fabnemEPFL

main

Status Success

Total duration 24s

Artifacts –

deploy-docs.yml

on: push