Make sure that typecheck is executed on CI (#623)
#127
| Job | Run time |
|---|---|
| 1m 9s | |
| 1m 9s |
typecheck is executed on CI (#623)
#127
| Job | Run time |
|---|---|
| 1m 9s | |
| 1m 9s |