source-academy / frontend / 6765024759

push

github

Add compile time check for workspace actions (#2685)

* Move workspace location check to action level

This allows for type-checking to guard against unintended behaviour.

* Improve type safety

Prevents specifying invalid workspace locations.

* Add comments

Also fixed formatiing.

* Fix type errors

* Restore runtime check

For defensive programming.

* Fix incorrect typing

* Alias type for workspace locations with tools

2163 of 6753 branches covered (0.0%)

Branch coverage included in aggregate %.

5 of 9 new or added lines in 3 files covered. (55.56%)

5709 of 14442 relevant lines covered (39.53%)

18.92 hits per line