: .DEFAULT_GOAL :=
# check runs the gates CI holds a push to, the formatting, clippy, the docs and
# the tests of every feature combination.
:
# coverage measures the test coverage of the library code and opens the HTML
# report. It needs nightly to leave the test modules out of the numbers. The
# previous instrumented build is dropped first, as a test binary left behind
# by another toolchain would get merged into the report as uncovered code.
: