From: Jean Privat Date: Mon, 15 Jul 2019 15:08:12 +0000 (-0400) Subject: Merge: fix ci nitunit some X-Git-Url: http://nitlanguage.org Merge: fix ci nitunit some When there is no change in watched nit files, the job `nitunit_some` failed. Pull-Request: #2770 --- bf0c76caf6fe15bffd22daaff253eff08d52d3bc