|
build.sh
|
only run the standard build in travis PR's
|
2019-09-30 11:35:49 +02:00 |
|
check_source.sh
|
do --check-all in check_source.sh
|
2018-05-04 12:48:42 +02:00 |
|
clang-tidy.sh
|
add script .ci/clang-tidy.sh
|
2018-07-03 22:43:26 +02:00 |
|
coverage.sh
|
fix travis detection in coverage.sh
|
2017-10-19 09:54:47 +02:00 |
|
coverage_more.sh
|
move ci scripts to .ci/
|
2017-10-19 09:54:47 +02:00 |
|
meta_builds.sh
|
run {A,UB}SAN again with GMP
|
2019-10-11 14:32:22 +02:00 |
|
printinfo.sh
|
add missing file footers
|
2017-11-09 15:31:51 +01:00 |
|
run.sh
|
test default-build as first
|
2019-09-30 09:59:59 +02:00 |
|
testbuild.sh
|
fix build
|
2019-04-10 11:26:32 +02:00 |
|
valgrind.sh
|
add missing file footers
|
2017-11-09 15:31:51 +01:00 |
