Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
---|---|---|---|---|---|---|---|
392 | master | remove old experimental stuff from repo | push | travis-ci | pending completion set done | ||
391 | master | Added tag 0.045_01 for changeset 833b2d04d5f4 | push | travis-ci | pending completion set done | ||
391 | 0.045_01 | update bug reports data | push | travis-ci | pending completion set done | ||
390 | new-travis-setup | fix env; add notification | push | travis-ci | pending completion set done | ||
389 | new-travis-setup | provide -r option to prove, but not -j | push | travis-ci | pending completion set done |