jruby / joni log scanlog scanpassingpassing Current Branches Build History Pull Requests Build #583 Settings Requests Caches More options Requests Trigger build master Merge pull request #53 from jirkamarsik/remove-unsound-quant… Remove unsound quantifier reduction rules. Commit 51c97f0 Compare 6b84cb3..51c97f0 Branch master Charles Oliver Nutter Push event #583 errored Ran for - Total time 55 sec 4 years ago Build jobs View config Hash 583.1 AMD64 xenial JDK: openjdk9 Java Git no environment variables set 55 sec Hash 583.2 ppc64le xenial JDK: openjdk9 Java Git no environment variables set -
