2 commits

Author	SHA1	Message	Date
Peter Bittner	2fd2279ecb	Rename default branch (master ➜ main) ... Following the example of other popular free software projects, we also rename our default branch to remove terminology stemming from colonialism and slavery.	2022-02-05 18:42:08 +01:00
Peter Bittner	41b8c243d4	Add checks as a separate workflow ... Run test suite only for PRs and master	2021-11-27 19:14:13 +01:00