Background

Right now the Github Action builds the diff tool on demand and executes it in debug mode.
This takes some time from the Github runners, which might be costly if paid runners are used.

Goal

Use a binary version of the diff tool when using the Github Action to speed up the execution of the workflow