Started 1 mo 18 days ago
Took 33 sec

Failed Build #194 (Feb 14, 2020 2:59:29 PM)

  1. updated Mokito and changed the test cases accordingly (commit: dbbe9d8) (details / githubweb)
  2. fixed a problem with some older compilers (commit: 0e8630f) (details / githubweb)
  3. bumped up Java version number (commit: aaf4441) (details / githubweb)
  4. fixed contact data (commit: bdc82ac) (details / githubweb)

Started by GitHub push by StevenArzt

Revision: bdc82acf83277c7567a6506918d7bc1c07d8f4c3
  • refs/remotes/origin/develop
Test Result (no failures)

    Module Builds

    Failed Heros IFDS/IDE Solver24 sec
     heros (didn’t run)

    Downstream Builds