Alice Ryhl 0f17d69303 ci: remove PROPTEST_CASES from miri (#5478) ...

This option doesn't do anything anymore.

2023-02-19 11:11:22 +00:00

..

ISSUE_TEMPLATE

docs: link to GitHub discussions on "new issue" page (#4906)

2022-08-12 10:49:50 +00:00

workflows

ci: remove PROPTEST_CASES from miri (#5478)

2023-02-19 11:11:22 +00:00

FUNDING.yml

chore: add FUNDING.yml (#3824)

2021-05-28 13:55:16 -07:00

labeler.yml

chore: update labeler.yml to drop filepath prefixes (#4308)

2021-12-09 10:40:27 -05:00

PULL_REQUEST_TEMPLATE.md

github: update issue templates (#2552)

2020-05-21 09:45:27 +02:00