Skip to content

Merge branch 'main' into users #3319

Merge branch 'main' into users

Merge branch 'main' into users #3319

Workflow file for this run

name: Lint
on: [push]
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