search

leanprover-community / mathlib3

Lean 3's obsolete mathematical components library: please use mathlib4
https://leanprover-community.github.io/lean3
Apache License 2.0
1.67k stars 299 forks source link

[Merged by Bors] - style(archive.100-theorems-list.xx_theorem_name): rename to `wiedijk_100_theorems.theorem_name` #19195

Closed Komyyy closed 1 year ago

Komyyy commented 1 year ago

https://leanprover.zulipchat.com/#narrow/stream/287929-mathlib4/topic/Archive.2E100-theorems-list.2EXXTheoremName.20causes.20error.20!4.235114

Open in Gitpod

bors[bot] commented 1 year ago

:-1: Rejected by label

jcommelin commented 1 year ago

Thanks :tada:

If CI passes, please remove the label awaiting-CI and merge this yourself, by adding a comment bors r+.

bors d+

bors[bot] commented 1 year ago

:v: Komyyy can now approve this pull request. To approve and merge a pull request, simply reply with bors r+. More detailed instructions are available here.

Komyyy commented 1 year ago

bors r+

bors[bot] commented 1 year ago

Pull request successfully merged into master.

Build succeeded!

The publicly hosted instance of bors-ng is deprecated and will go away soon.

If you want to self-host your own instance, instructions are here. For more help, visit the forum.

If you want to switch to GitHub's built-in merge queue, visit their help page.