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

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