Skip to content

Merge branch 'main' into fix-doc #4859

Merge branch 'main' into fix-doc

Merge branch 'main' into fix-doc #4859

Workflow file for this run

name: Lint
on:
push:
branches-ignore:
- 'main'
- 'docs'
jobs:
clang-format:
runs-on: ubuntu-24.04 # latest
steps:
- name: Checkout Sources
uses: actions/checkout@v4
- name: clang-format lint
run: |
./format-check.py