Skip to content

Actions: leanprover-community/mathlib4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,020,845 workflow run results
1,020,845 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

refactor: Abstract out the substructure lattice construction lint and suggest #76293: Pull request #20621 synchronize by artie2000
January 12, 2025 23:59 2s artie2000-closure-abstract
artie2000-closure-abstract
January 12, 2025 23:59 2s
refactor: Abstract out the substructure lattice construction Label New Contributors #54049: Pull request #20621 synchronize by artie2000
January 12, 2025 23:59 13s artie2000-closure-abstract
artie2000-closure-abstract
January 12, 2025 23:59 13s
refactor: Abstract out the substructure lattice construction Post PR summary comment #39904: Pull request #20621 synchronize by artie2000
January 12, 2025 23:59 53s artie2000-closure-abstract
artie2000-closure-abstract
January 12, 2025 23:59 53s
fix continuous integration #155790: Commit 1ea65d8 pushed by artie2000
January 12, 2025 23:59 1m 40s artie2000-closure-abstract
artie2000-closure-abstract
January 12, 2025 23:59 1m 40s
fix continuous integration (mathlib forks) #166154: Commit 1ea65d8 pushed by artie2000
January 12, 2025 23:59 3s artie2000-closure-abstract
artie2000-closure-abstract
January 12, 2025 23:59 3s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #114378: completed by artie2000
January 12, 2025 23:49 2s
January 12, 2025 23:49 2s
Merge conflicts Merge conflicts #70313: Scheduled
January 12, 2025 23:48 16s master
master
January 12, 2025 23:48 16s
[Merged by Bors] - feat(Algebra/Ring): generalise and extend material about sums of squares and semireal rings Post PR summary comment #39903: Pull request #16094 synchronize by artie2000
January 12, 2025 23:47 52s real_closed_field_dev
real_closed_field_dev
January 12, 2025 23:47 52s
[Merged by Bors] - feat(Algebra/Ring): generalise and extend material about sums of squares and semireal rings lint and suggest #76292: Pull request #16094 synchronize by artie2000
January 12, 2025 23:47 1m 25s real_closed_field_dev
real_closed_field_dev
January 12, 2025 23:47 1m 25s
[Merged by Bors] - feat(Algebra/Ring): generalise and extend material about sums of squares and semireal rings Label New Contributors #54048: Pull request #16094 synchronize by artie2000
January 12, 2025 23:47 10s real_closed_field_dev
real_closed_field_dev
January 12, 2025 23:47 10s
Merge branch 'master' into real_closed_field_dev continuous integration #155789: Commit ea0777b pushed by artie2000
January 12, 2025 23:47 1m 58s real_closed_field_dev
real_closed_field_dev
January 12, 2025 23:47 1m 58s
Merge branch 'master' into real_closed_field_dev continuous integration (mathlib forks) #166153: Commit ea0777b pushed by artie2000
January 12, 2025 23:47 3s real_closed_field_dev
real_closed_field_dev
January 12, 2025 23:47 3s
Dependent Issues Dependent Issues #71575: Scheduled
January 12, 2025 23:46 5m 4s master
master
January 12, 2025 23:46 5m 4s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #114377: completed by kvanvels
January 12, 2025 23:45 2s
January 12, 2025 23:45 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #114376: completed by artie2000
January 12, 2025 23:43 2s
January 12, 2025 23:43 2s
[Merged by Bors] - feat(Algebra/Ring): generalise and extend material about sums of squares and semireal rings Post PR summary comment #39902: Pull request #16094 synchronize by artie2000
January 12, 2025 23:41 51s real_closed_field_dev
real_closed_field_dev
January 12, 2025 23:41 51s
[Merged by Bors] - feat(Algebra/Ring): generalise and extend material about sums of squares and semireal rings lint and suggest #76291: Pull request #16094 synchronize by artie2000
January 12, 2025 23:41 1m 29s real_closed_field_dev
real_closed_field_dev
January 12, 2025 23:41 1m 29s
[Merged by Bors] - feat(Algebra/Ring): generalise and extend material about sums of squares and semireal rings Label New Contributors #54047: Pull request #16094 synchronize by artie2000
January 12, 2025 23:41 10s real_closed_field_dev
real_closed_field_dev
January 12, 2025 23:41 10s
Merge branch 'master' into real_closed_field_dev continuous integration #155788: Commit 8812575 pushed by artie2000
January 12, 2025 23:41 1m 28s real_closed_field_dev
real_closed_field_dev
January 12, 2025 23:41 1m 28s
Merge branch 'master' into real_closed_field_dev continuous integration (mathlib forks) #166152: Commit 8812575 pushed by artie2000
January 12, 2025 23:41 3s real_closed_field_dev
real_closed_field_dev
January 12, 2025 23:41 3s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #114375: completed by artie2000
January 12, 2025 23:40 2s
January 12, 2025 23:40 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #114374: completed by tb65536
January 12, 2025 23:36 2s
January 12, 2025 23:36 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #114373: completed by tb65536
January 12, 2025 23:36 3s
January 12, 2025 23:36 3s
Merge conflicts Merge conflicts #70312: Scheduled
January 12, 2025 23:34 22s master
master
January 12, 2025 23:34 22s
Dependent Issues Dependent Issues #71574: Scheduled
January 12, 2025 23:31 3m 18s master
master
January 12, 2025 23:31 3m 18s