Skip to content

Actions: leanprover-community/mathlib4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
919,180 workflow runs
919,180 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore(CategoryTheory/Functor): dualize OfSequence lint and suggest #63254: Pull request #18325 synchronize by dagurtomas
October 28, 2024 09:29 1m 26s dagur/FunctorOfOpSequence
dagur/FunctorOfOpSequence
October 28, 2024 09:29 1m 26s
chore(CategoryTheory/Functor): dualize OfSequence Post PR summary comment #26865: Pull request #18325 synchronize by dagurtomas
October 28, 2024 09:29 47s dagur/FunctorOfOpSequence
dagur/FunctorOfOpSequence
October 28, 2024 09:29 47s
chore(CategoryTheory/Functor): dualize OfSequence Label New Contributors #41010: Pull request #18325 synchronize by dagurtomas
October 28, 2024 09:29 13s dagur/FunctorOfOpSequence
dagur/FunctorOfOpSequence
October 28, 2024 09:29 13s
golf continuous integration #136269: Commit 94e7e11 pushed by dagurtomas
October 28, 2024 09:29 In progress dagur/FunctorOfOpSequence
dagur/FunctorOfOpSequence
October 28, 2024 09:29 In progress
golf continuous integration (mathlib forks) #145029: Commit 94e7e11 pushed by dagurtomas
October 28, 2024 09:29 13s dagur/FunctorOfOpSequence
dagur/FunctorOfOpSequence
October 28, 2024 09:29 13s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #94812: completed by dagurtomas
October 28, 2024 09:27 2s
October 28, 2024 09:27 2s
chore(CategoryTheory/Functor): dualize OfSequence Label New Contributors #41009: Pull request #18325 opened by dagurtomas
October 28, 2024 09:26 18s dagur/FunctorOfOpSequence
dagur/FunctorOfOpSequence
October 28, 2024 09:26 18s
chore(CategoryTheory/Functor): dualize OfSequence lint and suggest #63253: Pull request #18325 opened by dagurtomas
October 28, 2024 09:26 1m 12s dagur/FunctorOfOpSequence
dagur/FunctorOfOpSequence
October 28, 2024 09:26 1m 12s
chore(CategoryTheory/Functor): dualize OfSequence Post PR summary comment #26864: Pull request #18325 opened by dagurtomas
October 28, 2024 09:26 47s dagur/FunctorOfOpSequence
dagur/FunctorOfOpSequence
October 28, 2024 09:26 47s
chore(CategoryTheory/Functor): dualize OfSequence Autolabel PRs #1640: Pull request #18325 opened by dagurtomas
October 28, 2024 09:26 51s dagur/FunctorOfOpSequence
dagur/FunctorOfOpSequence
October 28, 2024 09:26 51s
chore(CategoryTheory/Functor): dualize OfSequence continuous integration (mathlib forks) #145028: Commit 14fb4db pushed by dagurtomas
October 28, 2024 09:26 11s dagur/FunctorOfOpSequence
dagur/FunctorOfOpSequence
October 28, 2024 09:26 11s
chore(CategoryTheory/Functor): dualize OfSequence continuous integration #136268: Commit 14fb4db pushed by dagurtomas
October 28, 2024 09:26 In progress dagur/FunctorOfOpSequence
dagur/FunctorOfOpSequence
October 28, 2024 09:26 In progress
feat(NumberTheory/LSeries/QuadraticNonvanishing): new file Post PR summary comment #26863: Pull request #18302 synchronize by MichaelStollBayreuth
October 28, 2024 09:25 46s MS_quadratic_nonvanishing
MS_quadratic_nonvanishing
October 28, 2024 09:25 46s
feat(NumberTheory/LSeries/QuadraticNonvanishing): new file Label New Contributors #41008: Pull request #18302 synchronize by MichaelStollBayreuth
October 28, 2024 09:25 10s MS_quadratic_nonvanishing
MS_quadratic_nonvanishing
October 28, 2024 09:25 10s
feat(NumberTheory/LSeries/QuadraticNonvanishing): new file lint and suggest #63252: Pull request #18302 synchronize by MichaelStollBayreuth
October 28, 2024 09:25 1m 22s MS_quadratic_nonvanishing
MS_quadratic_nonvanishing
October 28, 2024 09:25 1m 22s
Apply docstring fixes from code review continuous integration (mathlib forks) #145027: Commit 1b424cf pushed by MichaelStollBayreuth
October 28, 2024 09:25 14s MS_quadratic_nonvanishing
MS_quadratic_nonvanishing
October 28, 2024 09:25 14s
Apply docstring fixes from code review continuous integration #136267: Commit 1b424cf pushed by MichaelStollBayreuth
October 28, 2024 09:25 In progress MS_quadratic_nonvanishing
MS_quadratic_nonvanishing
October 28, 2024 09:25 In progress
Merge conflicts Merge conflicts #63596: Scheduled
October 28, 2024 09:24 In progress master
master
October 28, 2024 09:24 In progress
Functor.ofOpSequence continuous integration #136266: Commit 0ca906d pushed by dagurtomas
October 28, 2024 09:22 4m 59s dagur/LightCondensedSequentialLimits
dagur/LightCondensedSequentialLimits
October 28, 2024 09:22 4m 59s
Functor.ofOpSequence continuous integration (mathlib forks) #145026: Commit 0ca906d pushed by dagurtomas
October 28, 2024 09:22 10s dagur/LightCondensedSequentialLimits
dagur/LightCondensedSequentialLimits
October 28, 2024 09:22 10s
feat(Algebra/Module): presentation of modules Add "ready-to-merge" and "delegated" label from comment #62020: Issue comment #18295 (comment) created by erdOne
October 28, 2024 09:21 2s
October 28, 2024 09:21 2s
feat(Algebra/Module): presentation of modules Maintainer merge (comment) #67523: Issue comment #18295 (comment) created by erdOne
October 28, 2024 09:21 20s
October 28, 2024 09:21 20s
feat(Algebra/Module): presentation of modules Label PR based on Comment #42710: Issue comment #18295 (comment) created by erdOne
October 28, 2024 09:21 2s
October 28, 2024 09:21 2s
feat(Algebra/Module): presentation of modules bot fix style (comment) #9161: Issue comment #18295 (comment) created by erdOne
October 28, 2024 09:21 2s
October 28, 2024 09:21 2s
feat(Algebra/Module): presentation of modules Bench output summary #873: Issue comment #18295 (comment) created by erdOne
October 28, 2024 09:21 1s
October 28, 2024 09:21 1s