Web IDE Keyboard shortcuts for Verfiy and Flash

I’ve seen this link Default Keyboard Shortcuts. But I don’t see any shortcuts for

  1. Verify (Verifying code)
  2. Flash (compiling and flashing the firmware)

I can do a CTRL+S (on Windows) to save my code changes, but no shortcut for Verify and Flash?