12 Commits

Author	SHA1	Message	Date
Joost Rijneveld	28358b579d	Merge pull request #152 from PQClean/schedule-circleci ... Schedules circleci builds with RUN_SLOW	2019-04-23 09:36:48 +02:00
Thom Wiggers	d1079ad7e7	Schedules circleci builds with RUN_SLOW ... Also specifies an order on the PQCLEAN builds to limit fruitless testing.	2019-04-18 17:31:50 +02:00
Thom Wiggers	2a43c27a5c	Fix xunit-file path	2019-04-18 14:05:01 +02:00
Thom Wiggers	2be9d6b775	Set up storing of test results	2019-04-18 11:26:28 +02:00
Thom Wiggers	c245274e05	Try to set HEAD correctly	2019-04-18 11:26:28 +02:00
Thom Wiggers	33605f05d8	Set PQCLEAN_ONLY_DIFF on CI builds	2019-04-18 11:26:27 +02:00
Joost Rijneveld	3d8faae483	Fix missing && separator in docker command string ... It seems to have worked in CircleCI without this, though; it is unclear to me why.	2019-04-05 12:53:52 +02:00
Thom Wiggers	2ffdc863c9	Also install requirements in native versions	2019-04-05 11:51:19 +02:00
Thom Wiggers	13e84aec00	Clone submodules in CircleCI	2019-04-05 11:47:47 +02:00
Thom Wiggers	8067df4aa9	install pycparser with pip3	2019-04-05 09:28:27 +02:00
Thom Wiggers	1399c7fd1f	Only ignore missing helper programs if not on CI ... use randombytes in functest Got dropped by the rebase Work around missing clang-tidy on Travis Also check if valgrind is available	2019-03-07 08:43:13 +01:00
Thom Wiggers	6999e34820	Add circleci ... Build on circleci, should be much faster.	2019-02-28 15:58:47 +01:00