Files
Upsilon/.github/workflows
Romain Goyet 51d1c7b389 [ci] Don't rebuild on push
Otherwises tests are ran twice, one for the PR and then after the merge
2019-10-01 17:00:11 +02:00
..
2019-10-01 17:00:11 +02:00