Skip to content

Make github workflow which would ensure that PR against master would have everything from maint merged #6753

Make github workflow which would ensure that PR against master would have everything from maint merged

Make github workflow which would ensure that PR against master would have everything from maint merged #6753

Triggered via pull request May 13, 2024 21:33
Status Success
Total duration 2m 52s
Artifacts

docbuild.yml

on: pull_request
Fit to window
Zoom out
Zoom in