Skip to content

Actions: leanprover-community/mathlib4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,059,390 workflow runs
1,059,390 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

doc: turn links to Stacks into stacks attributes .github/workflows/zulip_emoji_awaiting_author.yaml #4878: Pull request #21046 labeled by YaelDillies
January 25, 2025 09:38 2s stacks_no_link
stacks_no_link
January 25, 2025 09:38 2s
chore(Periodic): reduce imports Post PR summary comment #42284: Pull request #20552 synchronize by YaelDillies
January 25, 2025 09:37 In progress periodic_no_ring
periodic_no_ring
January 25, 2025 09:37 In progress
chore(Periodic): reduce imports Label New Contributors #56429: Pull request #20552 synchronize by YaelDillies
January 25, 2025 09:37 24s periodic_no_ring
periodic_no_ring
January 25, 2025 09:37 24s
chore(Periodic): reduce imports lint and suggest #78672: Pull request #20552 synchronize by YaelDillies
January 25, 2025 09:37 In progress periodic_no_ring
periodic_no_ring
January 25, 2025 09:37 In progress
GroupTheory.Commutator no Ring continuous integration (mathlib forks) #169838: Commit c103a98 pushed by YaelDillies
January 25, 2025 09:37 3s periodic_no_ring
periodic_no_ring
January 25, 2025 09:37 3s
GroupTheory.Commutator no Ring continuous integration #159193: Commit c103a98 pushed by YaelDillies
January 25, 2025 09:37 Queued periodic_no_ring
periodic_no_ring
January 25, 2025 09:37 Queued
chore(Algebra/PUnitInstances): sort files according to topic Label New Contributors #56428: Pull request #21045 synchronize by YaelDillies
January 25, 2025 09:36 19s kill_punit_instances
kill_punit_instances
January 25, 2025 09:36 19s
chore(Algebra/PUnitInstances): sort files according to topic Post PR summary comment #42283: Pull request #21045 synchronize by YaelDillies
January 25, 2025 09:36 56s kill_punit_instances
kill_punit_instances
January 25, 2025 09:36 56s
chore(Algebra/PUnitInstances): sort files according to topic lint and suggest #78671: Pull request #21045 synchronize by YaelDillies
January 25, 2025 09:36 1m 17s kill_punit_instances
kill_punit_instances
January 25, 2025 09:36 1m 17s
shake continuous integration (mathlib forks) #169837: Commit d043cb3 pushed by YaelDillies
January 25, 2025 09:36 3s kill_punit_instances
kill_punit_instances
January 25, 2025 09:36 3s
shake continuous integration #159192: Commit d043cb3 pushed by YaelDillies
January 25, 2025 09:36 Queued kill_punit_instances
kill_punit_instances
January 25, 2025 09:36 Queued
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #117789: completed by leanprover-community-mathlib4-bot
January 25, 2025 09:35 2s
January 25, 2025 09:35 2s
doc: turn links to Stacks into stacks attributes .github/workflows/zulip_emoji_awaiting_author.yaml #4877: Pull request #21046 labeled by YaelDillies
January 25, 2025 09:35 2s stacks_no_link
stacks_no_link
January 25, 2025 09:35 2s
feat(RingTheory/Ideal): more lemmas about the height of an ideal lint and suggest #78670: Pull request #21041 synchronize by xyzw12345
January 25, 2025 09:34 2m 15s xyzw12345_Andrew_height
xyzw12345_Andrew_height
January 25, 2025 09:34 2m 15s
feat(RingTheory/Ideal): more lemmas about the height of an ideal Label New Contributors #56427: Pull request #21041 synchronize by xyzw12345
January 25, 2025 09:34 11s xyzw12345_Andrew_height
xyzw12345_Andrew_height
January 25, 2025 09:34 11s
feat(RingTheory/Ideal): more lemmas about the height of an ideal Post PR summary comment #42282: Pull request #21041 synchronize by xyzw12345
January 25, 2025 09:34 50s xyzw12345_Andrew_height
xyzw12345_Andrew_height
January 25, 2025 09:34 50s
refactor file continuous integration #159191: Commit f68d529 pushed by xyzw12345
January 25, 2025 09:34 In progress xyzw12345_Andrew_height
xyzw12345_Andrew_height
January 25, 2025 09:34 In progress
refactor file continuous integration (mathlib forks) #169836: Commit f68d529 pushed by xyzw12345
January 25, 2025 09:34 3s xyzw12345_Andrew_height
xyzw12345_Andrew_height
January 25, 2025 09:34 3s
Merge conflicts Merge conflicts #71414: Scheduled
January 25, 2025 09:33 4m 18s master
master
January 25, 2025 09:33 4m 18s
doc: turn links to Stacks into stacks attributes lint and suggest #78669: Pull request #21046 synchronize by YaelDillies
January 25, 2025 09:33 1m 16s stacks_no_link
stacks_no_link
January 25, 2025 09:33 1m 16s
doc: turn links to Stacks into stacks attributes Post PR summary comment #42281: Pull request #21046 synchronize by YaelDillies
January 25, 2025 09:33 57s stacks_no_link
stacks_no_link
January 25, 2025 09:33 57s
doc: turn links to Stacks into stacks attributes Label New Contributors #56426: Pull request #21046 synchronize by YaelDillies
January 25, 2025 09:33 20s stacks_no_link
stacks_no_link
January 25, 2025 09:33 20s
fix continuous integration (mathlib forks) #169835: Commit 10ebb6c pushed by YaelDillies
January 25, 2025 09:33 3s stacks_no_link
stacks_no_link
January 25, 2025 09:33 3s
fix continuous integration #159190: Commit 10ebb6c pushed by YaelDillies
January 25, 2025 09:33 In progress stacks_no_link
stacks_no_link
January 25, 2025 09:33 In progress
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #117788: completed by YaelDillies
January 25, 2025 09:32 1s
January 25, 2025 09:32 1s