Zulip Chat Archive
Stream: general
Topic: leanupgrade action
Patrick Massot (May 03 2021 at 06:54):
@Rob Lewis do you understand why https://github.com/leanprover-community/sphere-eversion/runs/2489005601?check_suite_focus=true is failing?
Rob Lewis (May 03 2021 at 15:24):
Did you force push to master at some point?
Rob Lewis (May 03 2021 at 15:24):
It sounds like current master isn't a fast forward of the lean-3.28.0 branch
Rob Lewis (May 03 2021 at 15:25):
If you force push master to lean-3.28.0 it should sort itself out
Patrick Massot (May 03 2021 at 15:25):
Maybe I did. I'll try to force push master to lean-3.28.0
Patrick Massot (May 03 2021 at 15:26):
I didn't realize GitHub had this lean-3.28.0 branch
Rob Lewis (May 03 2021 at 15:30):
leanpkg uses it, and that CI script keeps it updated so you can (usually) ignore it
Last updated: Dec 20 2023 at 11:08 UTC