Skip to content
Back to pull request #1828

[dev_tools] Add script to check whether header guards are style-compliant. #303

Sign in to view logs

[dev_tools] Add script to check whether header guards are style-compliant.

[dev_tools] Add script to check whether header guards are style-compliant. #303

build

build
succeeded Jan 7, 2025 in 33s