Skip to content

Actions: leanprover-community/mathlib4-nightly-testing

Actions

bot fix style

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
bot_fix_style.yaml
227 workflow runs
227 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[Merged by Bors] - feat: register mathlib tactics with try? bot fix style #227: Issue comment #136 (comment) created by mathlib-bors bot
8s
8s
[Merged by Bors] - chore: adaptations for nightly-2025-12-10 bot fix style #226: Issue comment #141 (comment) created by mathlib-bors bot
12s
12s
[Merged by Bors] - chore: adaptations for nightly-2025-12-10 bot fix style #225: Issue comment #141 (comment) created by kim-em
9s
9s
[Merged by Bors] - chore: adaptations for nightly-2025-12-10 bot fix style #224: Issue comment #141 (comment) created by mathlib-bors bot
13s
13s
[Merged by Bors] - feat: register mathlib tactics with try? bot fix style #223: Issue comment #136 (comment) created by kim-em
13s
13s
[Merged by Bors] - chore: adaptations for nightly-2025-12-10 bot fix style #222: Issue comment #141 (comment) created by kim-em
8s
8s
[Merged by Bors] - feat: register mathlib tactics with try? bot fix style #221: Issue comment #136 (comment) created by mathlib-bors bot
10s
10s
[Merged by Bors] - feat: register mathlib tactics with try? bot fix style #220: Issue comment #136 (comment) created by mathlib-bors bot
16s
16s
[Merged by Bors] - feat: register mathlib tactics with try? bot fix style #219: Issue comment #136 (comment) created by kim-em
13s
13s
[Merged by Bors] - feat: register mathlib tactics with try? bot fix style #218: Issue comment #136 (comment) edited by kim-em
9s
9s
[Merged by Bors] - chore: adaptations for nightly-2025-12-09 bot fix style #217: Issue comment #138 (comment) created by mathlib-bors bot
12s
12s
[Merged by Bors] - chore: adaptations for nightly-2025-12-09 bot fix style #216: Issue comment #138 (comment) created by kim-em
8s
8s
[Merged by Bors] - chore: adaptations for nightly-2025-12-08 bot fix style #215: Issue comment #137 (comment) created by mathlib-bors bot
12s
12s
[Merged by Bors] - chore: adaptations for nightly-2025-12-08 bot fix style #214: Issue comment #137 (comment) created by kim-em
10s
10s
[Merged by Bors] - chore: adaptations for nightly-2025-12-08 bot fix style #213: Issue comment #137 (comment) created by mathlib-bors bot
8s
8s
[Merged by Bors] - chore: adaptations for nightly-2025-12-08 bot fix style #212: Issue comment #137 (comment) created by kim-em
7s
7s
[Merged by Bors] - feat: register mathlib tactics with try? bot fix style #211: Issue comment #136 (comment) created by kim-em
7s
7s
[Merged by Bors] - feat: register mathlib tactics with try? bot fix style #210: Issue comment #136 (comment) created by kim-em
9s
9s
[Lean PR benchmarking] bot fix style #209: Issue comment #135 (comment) edited by leanprover-radar
14s
14s
[Lean PR benchmarking] bot fix style #208: Issue comment #135 (comment) created by leanprover-radar
10s
10s
[Lean PR benchmarking] bot fix style #207: Issue comment #135 (comment) created by datokrat
9s
9s
[nightly testing benchmark PR] bot fix style #206: Issue comment #134 (comment) edited by leanprover-radar
8s
8s
[nightly testing benchmark PR] bot fix style #205: Issue comment #134 (comment) created by leanprover-radar
7s
7s
[nightly testing benchmark PR] bot fix style #204: Issue comment #134 (comment) created by datokrat
8s
8s
chore: adaptations for nightly-2025-12-03 bot fix style #203: Issue comment #131 (comment) created by kbuzzard
9s
9s