.PHONY: all
all:
	@ dune build @check
