WPI Library Programming support for VMX-pi has just been updated to release 2020.3.2.3.
To update your VSCode projects, open the project and then select "Update WPILib Version" in your VMX-pi VSCode Extension. As long as you're connected to the Internet when you do this, your project's build.gradle file should have the GradleRIO plugin version updated to 2020.3.2.3.
This fixes a few issues reported with handling of Interrupts, as well as an issue with the timing of Digital Output Pulses.
Enjoy,
- scott