Deploy MkDocs site to GitHub Pages

Revise Docker image build instructions for RCP #66

Sign in to view logs

Triggered via push February 19, 2026 10:46

fabnemEPFL

main

Status Success

Total duration 23s

Artifacts –

deploy-docs.yml

on: push