Skip to content

Actions: leanprover-community/mathlib4

Actions

move-decls (comment)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
5,995 workflow runs
5,995 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

move-decls (comment) move-decls (comment) #5996: created by kim-em
June 24, 2024 00:25 2s
June 24, 2024 00:25 2s
move-decls (comment) move-decls (comment) #5995: created by fpvandoorn
June 23, 2024 18:29 1s
June 23, 2024 18:29 1s
chore(*): s/continuity/fun_prop/ move-decls (comment) #5994: Issue comment #12661 (comment) created by grunweg
June 23, 2024 08:09 2s
June 23, 2024 08:09 2s
chore(*): s/continuity/fun_prop/ move-decls (comment) #5993: Issue comment #12661 (comment) created by grunweg
June 23, 2024 08:08 3s
June 23, 2024 08:08 3s
[Merged by Bors] - chore(*): add 3 fun_prop attrs move-decls (comment) #5992: Issue comment #14040 (comment) created by grunweg
June 23, 2024 08:06 2s
June 23, 2024 08:06 2s
[Merged by Bors] - feat: the House of an algebraic number move-decls (comment) #5991: Issue comment #14041 (comment) created by grunweg
June 23, 2024 08:05 2s
June 23, 2024 08:05 2s
feat: prettier output on style errors move-decls (comment) #5990: Issue comment #13623 (comment) created by leanprover-community-mathlib4-bot
June 23, 2024 08:03 2s
June 23, 2024 08:03 2s
[Merged by Bors] - feat: rewrite the copyright header check in Lean move-decls (comment) #5989: Issue comment #13240 (comment) created by mathlib-bors bot
June 23, 2024 08:02 1s
June 23, 2024 08:02 1s
[Merged by Bors] - feat(lint-style): fix update-style-exceptions.py; produce human-readable output by default move-decls (comment) #5988: Issue comment #14012 (comment) created by mathlib-bors bot
June 23, 2024 08:01 2s
June 23, 2024 08:01 2s
[Merged by Bors] - chore(Topology/MetricSpace/PseudoMetric): Split move-decls (comment) #5987: Issue comment #13977 (comment) created by grunweg
June 23, 2024 08:01 2s
June 23, 2024 08:01 2s
chore(Topology/PseudoMetric): split file move-decls (comment) #5986: Issue comment #14048 (comment) created by grunweg
June 23, 2024 08:01 2s
June 23, 2024 08:01 2s
feat : FactorisationProperties (new file) move-decls (comment) #5985: Issue comment #10834 (comment) created by grunweg
June 23, 2024 08:00 3s
June 23, 2024 08:00 3s
[Merged by Bors] - cleanup: remove summarize_declarations and tooling for move-decls move-decls (comment) #5984: Issue comment #14047 (comment) created by kim-em
June 23, 2024 07:54 2s
June 23, 2024 07:54 2s
[Merged by Bors] - feat: rewrite the copyright header check in Lean move-decls (comment) #5983: Issue comment #13240 (comment) created by kim-em
June 23, 2024 07:52 2s
June 23, 2024 07:52 2s
[Merged by Bors] - feat(lint-style): fix update-style-exceptions.py; produce human-readable output by default move-decls (comment) #5982: Issue comment #14012 (comment) created by kim-em
June 23, 2024 07:51 3s
June 23, 2024 07:51 3s
[Merged by Bors] - chore(*): add 3 fun_prop attrs move-decls (comment) #5981: Issue comment #14040 (comment) created by MichaelStollBayreuth
June 23, 2024 07:47 1s
June 23, 2024 07:47 1s
move-decls (comment) move-decls (comment) #5980: created by sgouezel
June 23, 2024 07:08 2s
June 23, 2024 07:08 2s
[Merged by Bors] - chore: split some results out of Analysis.Normed.Group.Basic move-decls (comment) #5979: Issue comment #14035 (comment) created by mathlib-bors bot
June 23, 2024 07:05 2s
June 23, 2024 07:05 2s
[Merged by Bors] - feat(Algebra/Order/Ring/WithTop): add generalised and specialised power of top move-decls (comment) #5978: Issue comment #14019 (comment) created by sgouezel
June 23, 2024 07:01 2s
June 23, 2024 07:01 2s
[Merged by Bors] - chore: split some results out of Analysis.Normed.Group.Basic move-decls (comment) #5977: Issue comment #14035 (comment) created by kim-em
June 23, 2024 06:38 2s
June 23, 2024 06:38 2s
move-decls (comment) move-decls (comment) #5976: created by joelriou
June 23, 2024 05:48 2s
June 23, 2024 05:48 2s
move-decls (comment) move-decls (comment) #5975: created by joelriou
June 23, 2024 05:48 2s
June 23, 2024 05:48 2s
move-decls (comment) move-decls (comment) #5974: created by joelriou
June 23, 2024 05:18 2s
June 23, 2024 05:18 2s
move-decls (comment) move-decls (comment) #5973: created by joelriou
June 23, 2024 05:17 2s
June 23, 2024 05:17 2s
move-decls (comment) move-decls (comment) #5972: created by joelriou
June 23, 2024 05:16 2s
June 23, 2024 05:16 2s