Skip to content

Actions: leanprover-community/mathlib4-nightly-testing

Actions

Label New Contributors

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
label_new_contributor.yml
336 workflow runs
336 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore: adaptations for nightly-2026-02-10 Label New Contributors #336: Pull request #176 opened by kim-em
Skipped
Skipped
Manual testing for Batteries PR 1663 Label New Contributors #335: Pull request #175 opened by fgdorais
1s
1s
chore: adaptations for nightly-2026-02-05 Label New Contributors #334: Pull request #174 opened by mathlib-nightly-testing bot
1s
1s
[Merged by Bors] - chore: adaptations for nightly-2026-02-04 Label New Contributors #333: Pull request #173 opened by mathlib-nightly-testing bot
1s
1s
chore: adaptations for nightly-2026-02-03 Label New Contributors #332: Pull request #172 opened by mathlib-nightly-testing bot
1s
1s
chore: migrate lean-pr-testing to GitHub App Label New Contributors #331: Pull request #171 opened by kim-em
1s
1s
chore: adaptations for nightly-2026-02-02 Label New Contributors #330: Pull request #170 opened by leanprover-community-bot-assistant
Skipped
Skipped
chore: adaptations for nightly-2026-02-01 Label New Contributors #329: Pull request #169 opened by leanprover-community-bot-assistant
Skipped
Skipped
chore: adaptations for nightly-2026-01-30 Label New Contributors #328: Pull request #168 opened by leanprover-community-bot-assistant
1s
1s
chore: adaptations for nightly-2026-01-29 Label New Contributors #327: Pull request #167 opened by leanprover-community-bot-assistant
1s
1s
fixes for lean PR 12225 Label New Contributors #326: Pull request #166 opened by JovanGerb
1s
1s
chore: adaptations for nightly-2026-01-28 Label New Contributors #325: Pull request #165 opened by leanprover-community-bot-assistant
1s
1s
chore: adaptations for nightly-2026-01-27 Label New Contributors #324: Pull request #164 opened by leanprover-community-bot-assistant
1s
1s
chore: adaptations for nightly-2026-01-26 Label New Contributors #323: Pull request #163 opened by kim-em
1s
1s
[Merged by Bors] - chore: adaptations for nightly-2026-01-25 Label New Contributors #322: Pull request #162 opened by kim-em
1s
1s
[Merged by Bors] - chore: adaptations for nightly-2026-01-24 Label New Contributors #321: Pull request #161 opened by kim-em
Skipped
Skipped
[Merged by Bors] - chore: adaptations for nightly-2026-01-23 Label New Contributors #320: Pull request #160 opened by kim-em
1s
1s
chore: adaptations for nightly-2026-01-09 Label New Contributors #319: Pull request #159 opened by leanprover-community-bot-assistant
1s
1s
chore: adaptations for nightly-2026-01-08 Label New Contributors #318: Pull request #158 opened by leanprover-community-bot-assistant
1s
1s
chore: adaptations for nightly-2026-01-07 Label New Contributors #317: Pull request #157 opened by leanprover-community-bot-assistant
1s
1s
chore: adaptations for nightly-2026-01-06 Label New Contributors #316: Pull request #156 opened by leanprover-community-bot-assistant
1s
1s
chore: adaptations for nightly-2026-01-05 Label New Contributors #315: Pull request #155 opened by leanprover-community-bot-assistant
1s
1s
chore: adaptations for nightly-2026-01-02 Label New Contributors #314: Pull request #154 opened by leanprover-community-bot-assistant
1s
1s
chore: adaptations for nightly-2025-12-26 Label New Contributors #313: Pull request #153 opened by leanprover-community-bot-assistant
1s
1s
chore: adaptations for nightly-2025-12-25 Label New Contributors #312: Pull request #152 opened by leanprover-community-bot-assistant
1s
1s