Dirk-Jan C. Binnema 9b5f780975 ci: run with the address sanitizer

2022-05-18 10:03:33 +03:00

..

ISSUE_TEMPLATE

.github: Remove automated bug report template for now

2021-10-28 09:26:07 +03:00

workflows

ci: run with the address sanitizer

2022-05-18 10:03:33 +03:00

issue_template.md

github: update bug template

2021-08-21 15:47:26 +03:00