Ulf Gebhardt 8f14602b9f

Merge branch 'master' into lintpr-new-scopes

2023-01-09 19:14:36 +01:00

..

lint_pr.yml

include new scopes for lint pr:

2022-12-27 02:55:48 +01:00

publish.yml

do not have any commits, just PRs in the autochangelog instead of the 4 commits appended by default

2022-02-15 23:29:16 +01:00

test.yml

ŕeduce coverage requirement to 89%

2023-01-05 18:55:09 +01:00