search

leanprover-community / lean-perfectoid-spaces

Perfectoid spaces in the Lean formal theorem prover.
https://leanprover-community.github.io/lean-perfectoid-spaces/
Apache License 2.0
115 stars 13 forks source link

update elan URL #67

Closed bryangingechen closed 3 years ago

bryangingechen commented 3 years ago

(though maybe this project should be migrated to GitHub actions from Travis instead?)

jcommelin commented 3 years ago

I'm not knowledgeable about CI issues. @bryangingechen If you want to move this to github actions, please feel free to do so.

jcommelin commented 3 years ago

On the other hand, I think that the code in this repo is more or less "frozen".

bryangingechen commented 3 years ago

OK, if I find some time later, I'll look into upgrading the CI. Let's close this for now and I'll make a new issue.