Started 1 mo 7 days ago
Took 1 day 17 hr

Success Build PR 32: Mainnet job - top 10 mainnet tokens (Sep 22, 2020 4:10:00 PM)

Changes
  1. deps/evm-semantics: latest kevm/k (details / githubweb)
  2. Makefile system: mock UI integration part 12: sending report email (details / githubweb)
  3. kprove-erc20-group: adding --smt-timeout 400 (details / githubweb)
  4. Reports: full report templates & disclaimer, for review (details / githubweb)
  5. gen-test-report.py: using latest templates, with 2 possible templates for failure. (details / githubweb)
  6. Update report-email-template.txt (#125) (details / githubweb)
  7. Update test-report-crash-template.txt (#127) (details / githubweb)
  8. Update report-example.txt (#129) (details / githubweb)
  9. Update disclaimer.txt (#128) (details / githubweb)
  10. Update test-report-template.txt (#126) (details / githubweb)
  11. Reports: invoke real report sending/retrieving scripts instead of mocks. (details / githubweb)
  12. Reports: added real website API endpoint. (details / githubweb)
  13. ui task: setting FRAGMENTS=unit-revert unit-assert-fail (details / githubweb)
  14. UI task: real task ID registered for testing. (details / githubweb)
  15. Jenkinsfile: running UI task alone (details / githubweb)
  16. ui task fixes: updated endpoint and removed EOL in get_bytecode.sh out (details / githubweb)
  17. kprove-erc20-group.mak: fix regression (details / githubweb)
  18. ui task: report template fixed after edit. (details / githubweb)
  19. kprove.mak: correct call to send_files.sh (details / githubweb)
  20. UI task: email format improvements (details / githubweb)
  21. deps/evm-semantics: symb-test5, haskell fixes (details / githubweb)
  22. symbolic/tests: added comments that link test variables with config variables (details / githubweb)
  23. symbolic/report: email template & report template updated (details / githubweb)
  24. symbolic/report: email template new line updated (details / githubweb)
  25. fix (details / githubweb)
  26. ui task: send email template in HTML (details / githubweb)
  27. UI task: enabling all production tests (details / githubweb)
  28. deps/evm-semantics: master (details / githubweb)
  29. Fix for KEVM update (details / githubweb)
  30. Fix for KEVM update - another fix (details / githubweb)
  31. test-mainnet-jenkins: setting -j8, as kore uses less memory now (details / githubweb)
  32. README.md with instructions to run the verifier (details / githubweb)
  33. fix (details / githubweb)
  34. TEST Jenkinsfile: enabling only "Mainnet" (details / githubweb)

Pull request #32 updated at 4:09:53 PM on Sep 22, 2020

Revision: d486abc4f1e76c2dfb2b8ebccd0b5f392cabb392
  • PR-32