PR #2094 feat(ci): look for equivalent oleans on Azure

feat(ci): look for equivalent oleans on Azure #2094

mergify merged 14 commits into master from leanproject-ci

first attempt at avoiding recompilation in ci

fdd65907

avoid using leanproject

a069cd61

delete most of library for testing

45fed6ec

modify non-lean file for testing

3157cb1d

Revert "delete most of library for testing"

2f369a67

unnecessary to look up the exact git sha

d7483752

gebner commented on 2020-03-06

simplify

fe7f4179

apply Gabriel's suggestion

508996f2

untar all and only src directory

304827a9

Revert "modify non-lean file for testing"

07b223a8

simplify

ff2cdcd2

cipher1024 assigned

gebner 6 years ago

add git reset to script

c63a8281

Revert "add git reset to script"

bf630ff1

robertylewis added awaiting-review

gebner removed awaiting-review

gebner added ready-to-merge

gebner approved these changes on 2020-03-10

Merge branch 'master' into leanproject-ci

bb0d593e

mergify merged 699401bc into master 6 years ago

mergify deleted the leanproject-ci branch 6 years ago

Reviewers

gebner

Assignees

gebner

Labels

ready-to-merge

Milestone

No milestone

mathlib3 feat(ci): look for equivalent oleans on Azure #2094 Merged

feat(ci): look for equivalent oleans on Azure #2094

mathlib3
feat(ci): look for equivalent oleans on Azure
#2094

Merged