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
..
config.yml	Merge pull request #152 from PQClean/schedule-circleci	2019-04-23 09:36:48 +02:00