Completed
Pull Request — master (#18)
by Jerome
44s queued 19s
created

No notable changes

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

9.07
▶   ± 0
Head
Jerome Bergmann  
Merge pull request #18 from j340m3/ci-improvements
9 more commits
Base
Jerome Bergmann  
Merge pull request #17 from j340m3/ci-improvements