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