Thom Wiggers
|
4215ad7661
|
Do not test if other schemes duplicate_consistency files changed
|
2020-10-12 09:51:33 +02:00 |
|
Thom Wiggers
|
b36ca46dfc
|
fix pull request trigger for common workflow
|
2020-10-12 09:33:08 +02:00 |
|
Thom Wiggers
|
de2338d837
|
Schedule nightly builds
|
2020-10-11 13:26:09 +02:00 |
|
Thom Wiggers
|
a613db4d4a
|
don't trigger builds on markdown file changes
|
2020-10-11 13:23:38 +02:00 |
|
Thom Wiggers
|
f9f50ebc0d
|
Update README with github actions info
|
2020-10-11 13:14:30 +02:00 |
|
Thom Wiggers
|
32b066036d
|
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)
|
2020-10-09 15:11:23 +02:00 |
|
Thom Wiggers
|
cc07873937
|
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.
|
2019-12-12 13:38:34 +01: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 |
|