| .. |
|
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 |