Thom Wiggers
|
c96487039f
|
Schedule nightly builds
|
2021-03-24 21:02:48 +00:00 |
|
Thom Wiggers
|
6b7a685b20
|
don't trigger builds on markdown file changes
|
2021-03-24 21:02:48 +00:00 |
|
Thom Wiggers
|
904f91cf9b
|
Update README with github actions info
|
2021-03-24 21:02:48 +00:00 |
|
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 |
|