Passed
Push — master ( e75373...385ba3 )
by Stefano
02:00
created

Configuration has changed

The configuration has changed since Scrutinizer has last run. This page might contain changes that are not related to code modifications.

No notable changes

There were no notable changes in the changeset which was inspected.

9.73
▶   ± 0
Head
Stefano Gabryel  
Adding github workflow (#78)
1 more commit
Base
Stefano Gabryel  
Improving how SIGINT is handled to speed up shut down