Lint the sources

[ fix ] Fix search around `%defaulthints` (#3258) #6309

Sign in to view logs

Summary
Jobs
- build
Run details
- Usage
- Workflow file

Triggered via push June 18, 2024 14:39

edwinb

main

Status Success

Total duration 12s

Artifacts –

ci-lint.yml

on: push