Code

Improve CI and tag new version#46

Code

Merged

Azzaare merged 4 commits intodevJuliaConstraints/ConstraintDomains.jl:devfrom

cistuffJuliaConstraints/ConstraintDomains.jl:cistuffCopy head branch name to clipboard

May 30, 2024

Commits

Commits on May 30, 2024

• Add CI updates.

  Azzaare

  committed
  8da01d7

  Copy full SHA for 8da01d7

• Add Aqua

  Azzaare

  committed
  a0e7bf4

  Copy full SHA for a0e7bf4

• Makes Aqua a breaking test (ambiguities). To fix

  Azzaare

  committed
  f5369e9

  Copy full SHA for f5369e9

• Fix spelling

  Azzaare

  committed
  d15cb21

  Copy full SHA for d15cb21