lint/.github
Marco Ferrari 5c67776f9d
ci: clone the repository before tagging (#5208)
Clone the repository in the release workflow otherwise we cannot create
tags.
2024-01-31 12:28:15 +01: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.0.0 (#5027) 2024-01-31 10:51:31 +00:00
workflows ci: clone the repository before tagging (#5208) 2024-01-31 12:28:15 +01: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: update devcontainer definition (#5132) 2024-01-30 12:09:46 +01:00
pull_request-template.md fix: fix GITHUB_BEFORE_SHA diff on push events (#5096) 2024-01-04 22:54:47 +01:00