Travis CI

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.

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

seahorn / crab

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

dev cron feat(inter): precise support of recursive functions

  • Commit 8aa7573
  • Branch dev

caballa authored and committed

Cron job event #899 passed

  • Ran for 26 min 38 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 :