Moved CI from Travis to GitHub Actions (fixes #1493)

2021-02-03 21:33:18 +01:00
parent abd64102aa
commit 3975b07371
11 changed files with 270 additions and 225 deletions
@@ -6,6 +6,5 @@ You can submit changes via GitHub Pull Requests.

 Please:

-1. Unit test every change in behavior
+1. Update the test suite for any change of behavior
 2. Use clang-format in "file" mode to format the code
-3. Consider using the Continuous Integration (Travis and AppVeyor)