Skip to content

Actions: CoolRmal/mathlib4

Actions

Bors merge/delegate follow-up

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
maintainer_bors.yml
6 workflow runs
6 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
Add monotone-of-tendsto lemmas and OrderDual SupConvergenceClass instance Bors merge/delegate follow-up #6: Pull request #7 created by chatgpt-codex-connector Bot
1s
1s
Add monotone-of-tendsto lemmas and OrderDual SupConvergenceClass instance Bors merge/delegate follow-up #5: Pull request #7 submitted by chatgpt-codex-connector Bot
1s
1s
feat(Analysis/Calculus/DerivativeTest): add continuousOn_*, isMaxOn_of_deriv_*, isMinOn_of_deriv_* Bors merge/delegate follow-up #4: Pull request #1 submitted by Deep0Thinking
1s
1s
feat(Analysis/Calculus/DerivativeTest): add continuousOn_*, isMaxOn_of_deriv_*, isMinOn_of_deriv_* Bors merge/delegate follow-up #3: Pull request #1 created by Deep0Thinking
1s
1s
feat(Analysis/Calculus/DerivativeTest): add continuousOn_*, isMaxOn_of_deriv_*, isMinOn_of_deriv_* Bors merge/delegate follow-up #2: Pull request #1 submitted by CoolRmal
Skipped
Skipped
feat(Analysis/Calculus/DerivativeTest): add continuousOn_*, isMaxOn_of_deriv_*, isMinOn_of_deriv_* Bors merge/delegate follow-up #1: Pull request #1 created by CoolRmal
1s
1s