Skip to content
GitLab

Build improvements

Merged Eevans requested to merge builds into main

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