View GitHub Repository formal-console

Schedule Inspection
Subscribe

Inspections

Clear current filters, and sorts
Initiated By
Branch: master
Type
Sort
master

master . 7f6c4c...b3b29a . push triggered

  No notable changes.
01:02
created
master

master . 4df142...7f6c4c . push triggered

  No notable changes.
59s
created
updated version

master . 8daa1f...4df142 . push triggered

  No notable changes.
01:01
created
master

master . c98c2d...8daa1f . push triggered

  No notable changes.
57s
created
fixed bug in the error function

master . 17694d...c98c2d . push triggered

  No notable changes.
01:38
created
added badges

master . 0a908d...17694d . push triggered

  No notable changes.
50s
created
added travis.yml

master . 0a908d . manually triggered

  Inspection completed successfully.
57s
created