Skip to content

Mirror bvugt/bvuge/bvsgt/bvsge onto bvult/bvule/bvslt/bvsle - #799

Open
the-mr-dave wants to merge 3 commits into
devfrom
wip/rvde/mirror-greater-comparisons
Open

Mirror bvugt/bvuge/bvsgt/bvsge onto bvult/bvule/bvslt/bvsle#799
the-mr-dave wants to merge 3 commits into
devfrom
wip/rvde/mirror-greater-comparisons

Move operator-mirroring tests into UltimateNormalFormTest

c677116
Select commit
Loading
Failed to load commit list.
Ultimate Jenkins CI / Ultimate CI succeeded Aug 30, 2026 in 2m 19s

Success

Details

  • Declarative: Tool Install (2.2 sec)
    • Checkout (1 min 12 sec)
    • Check environment (4.2 sec)
    • Build and run basic tests (54 sec)
    • Declarative: Post Actions (2.2 sec)