Skip to content

Build improvements

Eevans requested to merge builds into main

Relocates the Docker-ized development environment to docker/, and implements a Makefile target for formatters/linters.

Merge request reports