3 Commits

Author	SHA1	Message	Date
david gauchard	79fc0b3b4a	CI: on host: force 64 bit mode like make -j2 CI implicitly does (#7513) ... It allows to run CI tests on computers having gcc-multilib installed	2020-08-07 17:17:29 +02:00
Earle F. Philhower, III	a8e35a579c	Add valgrind mocked test to CI (#7501) ... Run valgrind on host mock example runs to catch more bugs in CI. These tests would have caught the problem in #7464 before users did. Add a list of some randomly picked examples to run, and add an option to run the loop exactly once in the host mock routine, so the test will actually exit under valgrind.	2020-08-03 19:00:51 -07:00
Ivan Grokhotkov	79553e539a	ci: fix checking CI_GITHUB_API_KEY, refactoring (#5496) ... * ci: fix checking for presence of CI_GITHUB_API_KEY CI_GITHUB_API_KEY is always set when evaluating job include/exclude conditions, and it only gets removed when the job starts. Move the check into the script. * ci: split build jobs into separate shell scripts	2018-12-15 02:58:30 +01:00