Skip to content

Rename master to main #133

Rename master to main

Rename master to main #133

Triggered via push September 30, 2025 14:41
Status Success
Total duration 44s
Artifacts

builddocs.yml

on: push
build_docs
40s
build_docs
Fit to window
Zoom out
Zoom in