update CI - Githubissues

b-mehta / topos

Topos theory in lean

56 stars 2 forks source link

Closed robertylewis closed 4 years ago

robertylewis commented 4 years ago

This adds the new(ish) leanprover-contrib CI scripts.

Every branch push will be built
Every push to master will be mirrored to the current lean-x.y.z branch. (Note that your 3.18.4 branch is malformed, it should start with lean-)
Once a day, it will try to automatically update your Lean/mathlib versions on master

robertylewis commented 4 years ago

If you don't want the third bullet point, you should still take update_versions.yml to do the first two.

b-mehta commented 4 years ago

Sounds good, thanks for this! What happens if updating the mathlib versions to master fails?

robertylewis commented 4 years ago

It should open an issue the first time, and then stop spamming you until it's fixed.