homebrew-core icon indicating copy to clipboard operation
homebrew-core copied to clipboard

Published 20 hours ago • verified publisher icon Homebrew

lean 3.46.0

Open Porkepix opened this issue 1 year ago • 2 comments

Created by brew bump

Created with brew bump-formula-pr.

Porkepix avatar Aug 08 '22 09:08 Porkepix

waiting this line to be updated, https://github.com/leanprover-community/mathlib/blob/master/leanpkg.toml#L4

chenrui333 avatar Aug 08 '22 17:08 chenrui333

This pull request has been automatically marked as stale because it has not had recent activity. It will be closed if no further activity occurs. To keep this pull request open, add a help wanted or in progress label.

github-actions[bot] avatar Aug 11 '22 00:08 github-actions[bot]

Should be good now per https://github.com/leanprover-community/mathlib/pull/15993

chenrui333 avatar Aug 12 '22 21:08 chenrui333

Should be good now per leanprover-community/mathlib#15993

The first link you provided hasn't seen lean's version changed, though?

Porkepix avatar Aug 12 '22 22:08 Porkepix

leanprover-community/mathlib#15993

my mistake, looks like that PR did not get merged, gonna chime in there.

chenrui333 avatar Aug 13 '22 04:08 chenrui333

This pull request has been automatically marked as stale because it has not had recent activity. It will be closed if no further activity occurs. To keep this pull request open, add a help wanted or in progress label.

github-actions[bot] avatar Aug 15 '22 15:08 github-actions[bot]

https://github.com/leanprover-community/mathlib/pull/15994 has been merged, so this can go ahead.

fanninpm avatar Aug 15 '22 19:08 fanninpm

Thanks @fanninpm!

chenrui333 avatar Aug 17 '22 17:08 chenrui333

:robot: A scheduled task has triggered a merge.

BrewTestBot avatar Aug 18 '22 09:08 BrewTestBot