source-academy / frontend / 6765024759

40%

Build Type

push

github

Committed by web-flow

Commit Message

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

Run Details

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%)

1 existing line in 1 file now uncovered.

5709 of 14442 relevant lines covered (39.53%)

18.92 hits per line