Vor 4 Jahre 10 Monate gestartet
Dauer: 20 Minuten

Build #1230 (03.01.2020 16:42:01)

Changes
  1. fixed bug in LocalMerger liveness calculation (commit: 6961d2a) (detail / githubweb)
  2. update tests to latest StdLib (commit: 05650e5) (detail / githubweb)

Started by GitHub push by peq

Revision: 05650e5419b6fedd262fe0d7c1676680aebe3d74
  • refs/remotes/origin/master
Testergebnis (Kein Test fehlgeschlagen.)