3 Commits

Author	SHA1	Message	Date
Nick Groenen	ecf55d25db	Avoid redundant "Release" in GitHub release titles	2021-02-15 21:26:10 +01:00
Nick Groenen	2fa34fb5db	Also run tests on pull requests	2021-02-14 20:48:52 +01:00
Nick Groenen	c2de776148	Public release	2020-12-07 22:35:57 +01:00