Restructure the code of Stehlé-Zimmermann search #1401
lint.yaml
on: pull_request
check-remove-before-flight
35s
check-cpp
26s
check-iwyu
3m 17s