Koen Vlaswinkel e2e4879548 Merge remote-tracking branch 'origin/main' into koesie10/typecheck-everything

2022-12-12 10:14:50 +01:00

..

codeql

Add the assert-pure query

2020-11-02 18:40:45 -08:00

ISSUE_TEMPLATE

Delete outdated issue template

2021-11-19 17:47:23 +00:00

workflows

Merge remote-tracking branch 'origin/main' into koesie10/typecheck-everything

2022-12-12 10:14:50 +01:00

dependabot.yml

Run dependabot updates weekly

2022-03-30 11:45:39 -07:00

pull_request_template.md

Make step for maintainers only

2022-01-20 09:32:07 +00:00