Co-Authored-By: muhlemmer <muhlemmer@gmail.com>
master
Thomas Sänger 6 years ago committed by GitHub
parent 7c1118df7d
commit 76e95bd585
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

@ -59,7 +59,7 @@ have to prevent pushing out something quickly.
We currently maintain a strict work flow:
#. Someone writes a solution and sends a pull request;
#. We use Travis-CI fore some very basic building and testing;
#. We use Travis-CI for some very basic building and testing;
#. The pull request needs to be code-reviewed and tested by at least two members
from the contributors team.

Loading…
Cancel
Save