9 Commits

Author	SHA1	Message	Date
Thom Wiggers	351d17ae70	Implement testing via Github actions ... * Fix a bunch of issues in SPHINCS+ on Windows * Fix testing makefile dependencies by fixing times of common files (affected Windows testing mainly)	2021-03-24 21:02:48 +00:00
Thom Wiggers	784973a8fb	Update PR template along practice (#254) ... * remove automatically checked property * Allow PR-submitters to self-document. We don't ever use these, so allow submitters of PRs to self-document.	2021-03-24 21:02:45 +00:00
Thom Wiggers	78257d4299	Add small note to PR template ... [ci skip]	2019-04-16 13:39:26 +02:00
Joost Rijneveld	56e8d17a7d	Move #if check from manual to automatic	2019-04-09 17:23:47 +02:00
Joost Rijneveld	9e5fd74823	Test for prohibited includes in api.h	2019-04-09 17:19:20 +02:00
Joost Rijneveld	4bf6810c9a	Explicitly disallow preprocessor #if	2019-04-09 11:17:54 +02:00
Joost Rijneveld	d113b45cf0	Fix font size of pull request template header ... The previous header size was a bit excessive, overshadowing actual comments.	2019-04-06 14:45:05 +02:00
Thom Wiggers	764935084a	Update pull_request_template.md	2019-04-05 16:19:56 +02:00
Thom Wiggers	1938f78bf1	Pull request template draft ... [ci skip]	2019-04-05 16:19:56 +02:00