build.sh
|
move ci scripts to .ci/
|
2017-10-19 09:54:47 +02:00 |
check_source.sh
|
move ci scripts to .ci/
|
2017-10-19 09:54:47 +02:00 |
coverage_more.sh
|
move ci scripts to .ci/
|
2017-10-19 09:54:47 +02:00 |
coverage.sh
|
move ci scripts to .ci/
|
2017-10-19 09:54:47 +02:00 |
meta_builds.sh
|
move ci scripts to .ci/
|
2017-10-19 09:54:47 +02:00 |
printinfo.sh
|
move ci scripts to .ci/
|
2017-10-19 09:54:47 +02:00 |
run.sh
|
move ci scripts to .ci/
|
2017-10-19 09:54:47 +02:00 |
testbuild.sh
|
move ci scripts to .ci/
|
2017-10-19 09:54:47 +02:00 |
valgrind.sh
|
move ci scripts to .ci/
|
2017-10-19 09:54:47 +02:00 |