Naruhiko Nishino b7af5a0445 patch 9.0.0704: CI runs "tiny" and "small" builds, which are the same ...

Problem:    CI runs "tiny" and "small" builds, which are the same.
Solution:   Remove the "small" build. (Naruhiko Nishino, closes #11315)

2022-10-09 13:28:36 +01:00

..

ISSUE_TEMPLATE

patch 8.2.3827: huntr badge does not really fit in the list

2021-12-16 16:14:11 +00:00

workflows

patch 9.0.0704: CI runs "tiny" and "small" builds, which are the same

2022-10-09 13:28:36 +01:00

CODEOWNERS

Update runtime files

2022-09-27 17:30:34 +01:00

dependabot.yml

patch 9.0.0573: outdated dependencies go unnoticed

2022-09-24 14:35:21 +01:00

FUNDING.yml

patch 8.1.1370: not using the new github feature for donations

2019-05-23 20:42:10 +02:00