juvix typecheck with no file argument typechecks all project
#7784
| Job | Run time |
|---|---|
| 22s | |
| 41m 51s | |
| 0s | |
| 11s | |
| 42m 24s |
juvix typecheck with no file argument typechecks all project
#7784
| Job | Run time |
|---|---|
| 22s | |
| 41m 51s | |
| 0s | |
| 11s | |
| 42m 24s |