4 Commits

Author	SHA1	Message	Date
Nick Groenen	67cd5ac738	Give release binaries file extensions ... This may make it more clear to users that these are precompiled, binary files. This is especially relevant on Windows, where the convention is that executable files have a .exe` extension, as seen in #49.	2022-01-02 12:08:50 +01:00
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