Build docs using MkDocs

Gh-358: cover remote coding environments in dev docs #209

Sign in to view logs

Triggered via pull request August 23, 2023 15:14

synchronize #375

gh-358-cover-remote-coding-environments-in-dev-docs

Status Success

Total duration 3m 53s

Artifacts –

build-docs.yml

on: pull_request