Check, Format, Build, Run

Format source files:

donna format

Check the project without producing a final executable:

donna check

Build the project:

donna build

Run the app:

donna run

Run the test suite:

donna test

Use check while writing code, test when behavior matters, and build when you want the binary. Donna keeps these separate because different questions deserve different answers.