1 failure condition met |
Head |
Bernhard Schussek
Merge pull request #21 from webmozart/ci
|
---|---|
⋮ | 1 more commit |
Base |
Bernhard Schussek
Merge pull request #20 from webmozart/dots
|