[CCI] Remove unused tags in the navigation plugin #2592
Triggered via pull request
August 9, 2023 23:53
joshuarrrr
joshuarrrr
labeled
#3964
Status
Skipped
Total duration
2s
Artifacts
–
create_doc_issue.yml
on: pull_request_target
Create Documentation Issue
0s