Closed djs55 closed 2 years ago
Previous builds seemed to have a cached COMMIT file. Dune doesn't have a "PHONY" concept as far as I can see, perhaps it was a mistake to move this code in there.
I think it's actually fine, the "problem" is that appveyor builds a merge commit, not the PR commit.
Previous builds seemed to have a cached COMMIT file. Dune doesn't have a "PHONY" concept as far as I can see, perhaps it was a mistake to move this code in there.