Phaedrus Leeds c7a43497ce CI: Move valgrind to a manual job ...

It seems a bit overzealous to run this 6 hour job on every single push
to every PR and branch, so make it a manually triggered check.

2021-11-12 18:40:03 -08:00

..

ISSUE_TEMPLATE

Add checkbox to issue template

2021-11-08 11:41:59 -08:00

workflows

CI: Move valgrind to a manual job

2021-11-12 18:40:03 -08:00

FUNDING.yml

.github: Add Sponsor button

2021-08-02 08:16:47 +02:00