Zev Minsky-Primus

When I run `dune-release -vvv` on my project, it seems to work just fine until creating the release, when the following happens: ``` [?] Create release 0.2 on https://github.com/zevbo/RobotState? [Y/n]...

Unexpected Kinematic Error (error code 21)

1

Today we started getting a bunch of "kinematic errors" moving to positions that seem reasonable. I attached the logs for the errors. I was wondering if it is known what...

Draco Submodule Should Point to Exact Version

5

I'm trying to use DracoPy to encode point clouds, and send them to a frontend I have, where they are decoded using Draco again (but in typescript, so with Three.js,...

creating audit trigger

2

This commit has all of the changes I have made creating the audit trigger. The behavior of the audit trigger is documented on the update to the trigger documentation page...

Overly Broad Red Underline on Module Signature Mismatch

1

Currently, the linter underlines the entire module implementation when there is any mismatch in signature. This is problematic because (a) it makes it visually very hard to read what's going...