lint/.github
Marco Ferrari 80bb077cfd
ci: free more space on workers (#5481)
- Delete Haskell stuff

Close #5477
2024-04-05 14:12:35 +02:00
..
ISSUE_TEMPLATE Move instructions from the wiki to docs (#4957) 2023-12-12 08:41:41 +01:00
linters feat: run linters in parallel (#5177) 2024-01-30 19:24:55 +00:00
release-please chore(main): release 6.3.1 (#5340) 2024-04-04 11:04:19 +00:00
workflows ci: free more space on workers (#5481) 2024-04-05 14:12:35 +02:00
CODEOWNERS Simplify container image build (#4962) 2023-12-15 11:59:36 +01:00
CONTRIBUTING.md Update documentation (#4981) 2023-12-11 21:35:20 +00:00
dependabot.yml ci: take package-lock into account in devcontainer (#5278) 2024-02-13 11:53:48 +01:00
pull_request-template.md fix: fix GITHUB_BEFORE_SHA diff on push events (#5096) 2024-01-04 22:54:47 +01:00