Skip to content

Make juvix init non-interactive by default #9288

Make juvix init non-interactive by default

Make juvix init non-interactive by default #9288

pre-commit

succeeded Dec 1, 2024 in 14s