feat(ci): look for equivalent oleans on Azure (#2094)
* first attempt at avoiding recompilation in ci
* avoid using leanproject
* delete most of library for testing
* modify non-lean file for testing
* Revert "delete most of library for testing"
This reverts commit b4f298e866513a6e1517f7fb370fcf9e03eb8030.
* unnecessary to look up the exact git sha
* simplify
* apply Gabriel's suggestion
* untar all and only src directory
* Revert "modify non-lean file for testing"
This reverts commit 3157cb1d0d0b3530445c36f8a1e9f725847f71ce.
* simplify
* add git reset to script
* Revert "add git reset to script"
This reverts commit c63a8281fef1a16ad0133521b7c8b002ef47907e.
Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>
