nickg / nvc / 3980305400

Builds Branch Commit Type Ran Committer Via Coverage
3980305400 refs/tags/r1.8.0 Updates for 1.8 release push Nick Gasson github pending completion   set done
3980305401 refs/tags/r1.8.0 Updates for 1.8 release push Nick Gasson github pending completion   set done
3980163319 refs/tags/r1.8.0 Updates for 1.8 release push Nick Gasson github pending completion   set done
3980163368 v1.8-branch Updates for 1.8 release push Nick Gasson github pending completion   set done
3979510471 master Updates for 1.8 release push Nick Gasson github pending completion   set done
3979350295 master Option not to report covered, uncovered or excluded tags. (#598) push GitHub github pending completion   set done
3979249279 coverage-print-covered-uncovered-excluded Merge e938a98c6 into ba5d68090 Pull #598 GitHub github pending completion   set done
3974628854 coverage-print-covered-uncovered-excluded Merge 4f20ecd04 into ba5d68090 Pull #598 GitHub github pending completion   set done
3971468792 master Missing predefined exponentiation operator for universal_integer. Issue #592 push Nick Gasson github pending completion   set done
3971407489 master Coverage exclude support (#588) push GitHub github pending completion   set done
3971381866 test WIP push Nick Gasson github pending completion   set done
3971307846 coverage-exclude-support Merge 67935925e into 1f7f2c81d Pull #588 GitHub github pending completion   set done
3971258124 test WIP push Nick Gasson github pending completion   set done
3971000313 coverage-exclude-support Merge 1d5b376e4 into 1f7f2c81d Pull #588 GitHub github pending completion   set done
3962081521 coverage-exclude-support Merge 930d25030 into 1f7f2c81d Pull #588 GitHub github pending completion   set done