Rémi Verschelde 51c79565e0 CI: Use clang-format 15 ...

Seems like there's a slight inconsistency for the formatting of the
`delete[](pointer)` syntax.

2023-01-10 16:24:14 +01:00

..

ci.yml

Rename float=64 build option to precision=double

2023-01-09 23:22:03 +01:00

static_checks.yml

CI: Use clang-format 15

2023-01-10 16:24:14 +01:00