You cannot select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

Viktor Szépe e89459d964 Separate CI steps (#10226)		3 years ago
..
workflows	Separate CI steps (#10226)	3 years ago
CONTRIBUTING.md	Rename master branch to main	3 years ago
ISSUE_TEMPLATE.md	Update ISSUE_TEMPLATE.md	3 years ago
pull_request_template.md	Replace master by main (#10171)	3 years ago