juvix typecheck
with no file argument typechecks all project
#7784
This job was skipped
Loading
juvix typecheck
with no file argument typechecks all project
#7784