Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
---|---|---|---|---|---|---|---|
2884044761 | bugfix/dutch_zero_ordinal | Merge remote-tracking branch 'org/master' into bugfix/dutch_zero_ordinal | push | Willem Van Onsem | github | pending completion set done | |
2884049539 | bugfix/dutch_zero_ordinal | reformatting | push | Willem Van Onsem | github | pending completion set done |