I suppose you are talking about the cloud editor.
The check mark button actually performs a full compile (thus indeed it verifies that the code will compile) and the other button does the same + upload
if you open a new blank sketch
and click on the check mark button after selecting your target board, what do you see?
Button should turn "busy"
and you should see the result of the compilation below
