Skip to content
Add labels to PR

[documentation] Moving wiki pages to Github Pages site #397

Sign in to view logs

[documentation] Moving wiki pages to Github Pages site

[documentation] Moving wiki pages to Github Pages site #397

Triggered via pull request November 15, 2023 14:15
@vincentraymond-uavincentraymond-ua
opened #649
vraymond/wiki_edits
Status Success
Total duration 15s
Artifacts –

add-labels-to-pr.yml

on: pull_request
triage
3s
triage
Fit to window
Zoom out
Zoom in