Sync docs

Merge pull request #1033 from gzuidhof/main #111

Sign in to view logs

Summary
Jobs
- sync-docs
Run details
- Usage
- Workflow file

Triggered via push March 21, 2024 13:07

main

Status Success

Total duration 1m 2s

Artifacts –

sync-docs.yml

on: push