Merge branch 'main' into patch-5 #221
paulgessingerchecks.yml
on: push
lint
53s
license
6s
include_guards
5s
pragma_once
6s
type_t
9s
boost_test_macro
5s
smearing_config
5s
cmake_options
8s
spelling
6s
missing_includes
14m 24s
fpe_masks
30s
unused_files
2m 20s
codegen
24s