Skip to content
Linters

doc: add more definitions to GLOSSARY.md #57319

Sign in to view logs

doc: add more definitions to GLOSSARY.md

doc: add more definitions to GLOSSARY.md #57319

Triggered via pull request May 5, 2024 20:04
@RedYetiDevRedYetiDev
synchronize #52798
RedYetiDev:patch-2
Status Success
Total duration 3m 13s
Artifacts –

linters.yml

on: pull_request
lint-addon-docs
32s
lint-addon-docs
lint-cpp
1m 4s
lint-cpp
format-cpp
1m 27s
format-cpp
lint-js-and-md
2m 59s
lint-js-and-md
lint-py
35s
lint-py
lint-yaml
33s
lint-yaml
lint-sh
22s
lint-sh
lint-codeowners
24s
lint-codeowners
lint-pr-url
23s
lint-pr-url
lint-readme
20s
lint-readme
Fit to window
Zoom out
Zoom in