Work by default#136

Open

lcaballero wants to merge 4 commits intomainfrom

work-by-default

Commits on Jul 22, 2021

Trying to get GitHub actions incorporated and doing all the code checks.
Lucas Caballero
committed

Commits on Jul 27, 2021

A branch to test checkout from scratch
Lucas Caballero
committed
Adding checks for required executables. The makefile now gives warnings if the executables are not found.
Lucas Caballero
committed
Removing this file for the time being.
Lucas Caballero
committed