Marti Bolivar 9cecb5df4a scripts: run_ci.sh: remove dead code ... Commit 88ece494 ("ci: do not build docs in main CI job") removed the call to build_docs but not the function itself. That makes it confusing to try to find where it's called; remove it. Signed-off-by: Marti Bolivar <marti@foundries.io>		2019-01-29 10:15:01 +01:00
..
get_modified_boards.py	ci: run more tests on boards that have changed	2017-08-14 13:28:42 -04:00
get_modified_tests.py	tests: run modified tests with full coverage	2017-07-28 17:03:04 -04:00
merge_junit.py	ci: merge xml reports into one single file	2017-06-10 10:44:33 -04:00
run_ci.sh	scripts: run_ci.sh: remove dead code	2019-01-29 10:15:01 +01:00