Skip to content

Actions: leanprover-community/mathlib4-nightly-testing

Actions

Bors merge/delegate follow-up

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
maintainer_bors.yml
661 workflow runs
661 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
[benchmark] leanprover/lean4#14248 Bors merge/delegate follow-up #661: Issue comment #261 (comment) created by leanprover-radar
1s
1s
[benchmark] leanprover/lean4#14248 Bors merge/delegate follow-up #660: Issue comment #261 (comment) created by datokrat
1s
1s
chore: adaptations for batteries-pr-testing-1853 Bors merge/delegate follow-up #659: Issue comment #249 (comment) created by fgdorais
9s
9s
chore: adaptations for batteries-pr-testing-1853 Bors merge/delegate follow-up #658: Issue comment #249 (comment) created by YaelDillies
Skipped
Skipped
chore: adaptations for batteries-pr-testing-1853 Bors merge/delegate follow-up #657: Issue comment #249 (comment) created by fgdorais
1s
1s
chore: adaptations for batteries-pr-testing-1853 Bors merge/delegate follow-up #656: Issue comment #249 (comment) created by fgdorais
8s
8s
chore: adaptations for batteries-pr-testing-1853 Bors merge/delegate follow-up #655: Issue comment #249 (comment) created by YaelDillies
7s
7s
chore: adaptations for batteries-pr-testing-1853 Bors merge/delegate follow-up #654: Issue comment #249 (comment) created by fgdorais
1s
1s
chore: adaptations for batteries-pr-testing-1853 Bors merge/delegate follow-up #653: Issue comment #249 (comment) created by YaelDillies
8s
8s
benchmark leanprover/lean4#13895 adaptation branch Bors merge/delegate follow-up #652: Issue comment #232 (comment) created by leanprover-radar
1s
1s
benchmark leanprover/lean4#13895 adaptation branch Bors merge/delegate follow-up #651: Issue comment #232 (comment) created by datokrat
1s
1s
benchmark leanprover/lean4#13895 adaptation branch Bors merge/delegate follow-up #650: Issue comment #232 (comment) created by leanprover-radar
2s
2s
benchmark leanprover/lean4#13895 adaptation branch Bors merge/delegate follow-up #649: Issue comment #232 (comment) created by datokrat
1s
1s
chore: adaptations for nightly-2026-06-21 Bors merge/delegate follow-up #648: Pull request #253 created by joelriou
2s
2s
chore: adaptations for nightly-2026-06-21 Bors merge/delegate follow-up #647: Pull request #253 submitted by joelriou
7s
7s
Lean pr testing 14129 Bors merge/delegate follow-up #646: Issue comment #252 (comment) created by leanprover-radar
1s
1s
Lean pr testing 14129 Bors merge/delegate follow-up #645: Issue comment #252 (comment) created by datokrat
1s
1s
benchmark leanprover/lean4#13637 adaptations Bors merge/delegate follow-up #644: Issue comment #250 (comment) created by leanprover-radar
11s
11s
benchmark leanprover/lean4#13637 adaptations Bors merge/delegate follow-up #643: Issue comment #250 (comment) created by datokrat
9s
9s
benchmark leanprover/lean4#13637 Bors merge/delegate follow-up #642: Issue comment #241 (comment) created by leanprover-radar
1s
1s
benchmark leanprover/lean4#13637 Bors merge/delegate follow-up #641: Issue comment #241 (comment) created by datokrat
1s
1s
benchmark leanprover/lean4#13637 Bors merge/delegate follow-up #640: Issue comment #241 (comment) created by leanprover-radar
1s
1s
benchmark leanprover/lean4#13637 Bors merge/delegate follow-up #639: Issue comment #241 (comment) created by datokrat
1s
1s
benchmark leanprover/lean4#13637 Bors merge/delegate follow-up #638: Issue comment #241 (comment) created by leanprover-radar
7s
7s
benchmark leanprover/lean4#13637 Bors merge/delegate follow-up #637: Issue comment #241 (comment) created by datokrat
1s
1s