jazzy: Setup fix and version-up (#131)#133

Merged

fred-labs merged 4 commits intojazzyfrom jazzy_update

Jul 31, 2024

+72-62

Commits on Jul 30, 2024

Setup fix and version-up (#131 )

fmirus
authored and
fred-labs
committed

Commits on Jul 31, 2024

model antlr4 dependency correctly (#134 )
fred-labs
committed
Doc and format fixes (#135 )

fmirus
authored and
fred-labs
committed
disable unstable tests
fred-labs
committed