Build docs

Fix missing version picker on docs. (#843) #1535

Sign in to view logs

Summary
Jobs
- deploy
Run details
- Usage
- Workflow file

Triggered via push November 15, 2023 09:26

github-merge-queue[bot]

main

Status Success

Total duration 46s

Artifacts –

docs-latest.yml

on: push