Pauli 3614d94d5f ci: run the on pull request CIs on push to master ... This will help catch problems caused by merging. Reviewed-by: Tomas Mraz <tomas@openssl.org> (Merged from https://github.com/openssl/openssl/pull/15711)		2021-06-12 23:06:22 +10:00
..
ISSUE_TEMPLATE	Fix a few github file references	2020-11-14 12:01:28 +01:00
workflows	ci: run the on pull request CIs on push to master	2021-06-12 23:06:22 +10:00
FUNDING.yml	Add github sponsor button	2020-06-04 21:04:13 +02:00
ISSUE_TEMPLATE.md	Fix a few github file references	2020-11-14 12:01:28 +01:00
PULL_REQUEST_TEMPLATE.md	Fix typos and repeated words	2020-07-05 01:49:20 +02:00