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

migrate CI from Travis to GitHub actions #68

Open bryangingechen opened 3 years ago

bryangingechen commented 2 years ago

Note to myself or to anyone who eventually does this: don't forget to replace Kha/elan with leanprover/elan in the workflow.