Started 10 mo ago
Took 34 sec

Failed Build #2 (Jun 28, 2021, 10:16:52 PM)

Changes
  1. And optimized the push back input stream away again... (details / githubweb)

Push event to branch claus-record-reader-revision at 10:16:46 PM on Jun 28, 2021

Revision: ddd587c7e936632af0cef9ad312c77bad8d1af0e
  • claus-record-reader-revision