Give a diff of which files lost hints for F* CI

project-everest / everest-ci

CI scripts for project everest

3 stars 8 forks source link

Closed msprotz closed 5 years ago

msprotz commented 7 years ago

Can be done by using HEAD^ (see if it's ambiguous?) then find the corresponding log in the CI_LOGS repository

s-zanella commented 5 years ago

Outdated.