Steffen Jaeckel c113c03c13 run {A,UB}SAN again with GMP 6 lat temu
..
build.sh 33dabf9693 only run the standard build in travis PR's 6 lat temu
check_source.sh 41341195c5 do --check-all in check_source.sh 7 lat temu
clang-tidy.sh ed2ec2e3ed add script .ci/clang-tidy.sh 7 lat temu
coverage.sh 1fc46a0f15 fix travis detection in coverage.sh 8 lat temu
coverage_more.sh b070672f59 move ci scripts to .ci/ 8 lat temu
meta_builds.sh c113c03c13 run {A,UB}SAN again with GMP 6 lat temu
printinfo.sh b159ca0d12 add missing file footers 8 lat temu
run.sh e2f5d17dcc test default-build as first 6 lat temu
testbuild.sh 5f7feeab59 fix build 6 lat temu
valgrind.sh b159ca0d12 add missing file footers 8 lat temu