Important Notice: Starting April 1st, 2025, OSx/macOS builds will no longer be supported due to the end-of-life (EOL) of VMWare support for macOS infrastructure.

Travis CI

Join over 500,000 developers testing and building on Travis CI

HOL-Theorem-Prover / HOL

build:passed
log scanlog scanpassingpassing
  • Current
  • Branches
  • Build History
  • Pull Requests
  • Build #6615
  • Settings
  • Requests
  • Caches
  • Requests

develop Enable more selftests (src/{probability,real,sort}) after 9a…

  • Commit 592574f
  • Compare 095719f..592574f
  • Branch develop

Michael Norrish avatar Michael Norrish

Push event #6615 passed

  • Ran for 10 min 27 sec
  • 4 years ago
AMD64
no language set
Git
Sorry, we're having troubles fetching jobs. Please try again later.
© 2025
  • Privacy
  • Legal
  • Documentation
  • Changelog
  • Support
  • ●
    Travis CI Status :