X-Git-Url: https://git.xandkar.net/?a=blobdiff_plain;f=Makefile;h=34c0fe97046e2a41fe494ff6e303b9da6275c7a8;hb=e75cf6013e87c8a1952b2c22dad9b4796014f6e7;hp=3104462445c7e93ce229d2d4671eb258723fd315;hpb=56b05e819f4531cdd2f32fa1054c9297436877b4;p=hope.git diff --git a/Makefile b/Makefile index 3104462..34c0fe9 100644 --- a/Makefile +++ b/Makefile @@ -1,10 +1,15 @@ .PHONY: \ + ci \ fresh-build \ compile \ clean \ dialyze \ test +ci: \ + compile \ + test + fresh-build: \ clean \ compile