Completed
Push — master ( 041495...d67cc8 )
by Jerome
07:15 queued 04:20
created

No notable changes

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

9.07
▶   ± 0
Head
Jerome Bergmann  
Merge pull request #17 from j340m3/ci-improvements
1 more commit
Base
bergmann  
Disable GUI coverage due lack of testing possibilities