teor e054d57622 Speed up CI, and split unrelated and conflicting CI jobs (#3077) ... * Move dependency checks to the clippy job * Split the fake activation heights into their own job * Fix expected types * Minimise proptest cases on Windows, macOS, and coverage We don't expect proptests to fail on different platforms.		2021-11-22 14:26:07 -03:00
..
ISSUE_TEMPLATE	Remove "solution" from the ticket template (#2385)	2021-06-24 10:43:27 +01:00
PULL_REQUEST_TEMPLATE	Update release-checklist.md (#3001)	2021-11-02 15:36:47 +00:00
workflows	Speed up CI, and split unrelated and conflicting CI jobs (#3077)	2021-11-22 14:26:07 -03:00
dependabot.yml	Remove dconnolly as default assignee and reviewer on dependabot PRs, and make them low priority (#2951)	2021-10-26 00:22:51 +00:00
pull_request_template.md	Update GitHub and RFC templates based on retrospectives (#2242)	2021-06-04 14:40:53 +10:00
release-drafter.yml	Enable Release Drafter workflow	2021-01-29 17:33:38 -05:00
zbot.yml	Create zbot.yml	2020-06-13 06:15:20 -04:00