Skip to content
PR Needs Rebase

Merge branch 'main' into fix_14003_remove_glossary_link #10

Sign in to view logs

Merge branch 'main' into fix_14003_remove_glossary_link

Merge branch 'main' into fix_14003_remove_glossary_link #10

Triggered via push October 28, 2023 11:00
@himanshugarghimanshugarg
pushed 6756203
fix_14003_remove_glossary_link
Status Skipped
Total duration 3s
Artifacts –

pr-rebase-needed.yml

on: push
label-rebase-needed  /  label-rebase-needed
0s
label-rebase-needed / label-rebase-needed
Fit to window
Zoom out
Zoom in