mathlib3
chore(ci): remove unneeded Lean version restrictions
#2065

Merged

chore(ci): remove unneeded Lean version restrictions #2065

robertylewis merged 5 commits into master from action-refactor

remove lean version from CI

1dfc1748

more version references

8338bba5

fix?

b9ed7bdc

gebner commented on 2020-02-28

persist environment var between steps

f6923068

gebner added ready-to-merge

gebner approved these changes on 2020-02-28

Merge branch 'master' into action-refactor

dc7192f2

robertylewis merged 354a4ed1 into master 6 years ago

robertylewis deleted the action-refactor branch 6 years ago

Reviewers

gebner

Assignees

No one assigned

Labels

ready-to-merge

Milestone

No milestone