Skip to content

Actions: leanprover-community/mathlib4

Actions

Detect changes to header SHAs

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
37,676 workflow runs
37,676 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore: adaptations for nightly-2024-05-09 Detect changes to header SHAs #53713: Pull request #12782 synchronize by kim-em
May 13, 2024 00:29 27s bump/nightly-2024-05-09
bump/nightly-2024-05-09
May 13, 2024 00:29 27s
tc speed test Detect changes to header SHAs #53712: Pull request #12810 synchronize by FR-vdash-bot
May 12, 2024 04:43 29s FR_meow_synthinstance_test
FR_meow_synthinstance_test
May 12, 2024 04:43 29s
tc speed test Detect changes to header SHAs #53711: Pull request #12810 synchronize by FR-vdash-bot
May 12, 2024 01:21 26s FR_meow_synthinstance_test
FR_meow_synthinstance_test
May 12, 2024 01:21 26s
tc speed test Detect changes to header SHAs #53710: Pull request #12810 synchronize by FR-vdash-bot
May 11, 2024 21:40 26s FR_meow_synthinstance_test
FR_meow_synthinstance_test
May 11, 2024 21:40 26s
[Merged by Bors] - chore: Move ring power lemmas earlier Detect changes to header SHAs #53709: Pull request #12818 synchronize by YaelDillies
May 11, 2024 10:54 37s move_group_power_ring
move_group_power_ring
May 11, 2024 10:54 37s
[Merged by Bors] - chore: Move ring power lemmas earlier Detect changes to header SHAs #53708: Pull request #12818 opened by YaelDillies
May 11, 2024 09:58 31s move_group_power_ring
move_group_power_ring
May 11, 2024 09:58 31s
tc speed test Detect changes to header SHAs #53707: Pull request #12810 synchronize by FR-vdash-bot
May 11, 2024 04:13 30s FR_meow_synthinstance_test
FR_meow_synthinstance_test
May 11, 2024 04:13 30s
tc speed test Detect changes to header SHAs #53706: Pull request #12810 synchronize by FR-vdash-bot
May 11, 2024 03:51 31s FR_meow_synthinstance_test
FR_meow_synthinstance_test
May 11, 2024 03:51 31s
tc speed test Detect changes to header SHAs #53705: Pull request #12810 synchronize by FR-vdash-bot
May 11, 2024 01:57 30s FR_meow_synthinstance_test
FR_meow_synthinstance_test
May 11, 2024 01:57 30s
tc speed test Detect changes to header SHAs #53704: Pull request #12810 synchronize by FR-vdash-bot
May 10, 2024 22:51 24s FR_meow_synthinstance_test
FR_meow_synthinstance_test
May 10, 2024 22:51 24s
tc speed test Detect changes to header SHAs #53703: Pull request #12810 synchronize by FR-vdash-bot
May 10, 2024 22:36 25s FR_meow_synthinstance_test
FR_meow_synthinstance_test
May 10, 2024 22:36 25s
tc speed test Detect changes to header SHAs #53702: Pull request #12810 synchronize by FR-vdash-bot
May 10, 2024 20:56 29s FR_meow_synthinstance_test
FR_meow_synthinstance_test
May 10, 2024 20:56 29s
tc speed test Detect changes to header SHAs #53701: Pull request #12810 opened by FR-vdash-bot
May 10, 2024 20:37 24s FR_meow_synthinstance_test
FR_meow_synthinstance_test
May 10, 2024 20:37 24s
test Detect changes to header SHAs #53700: Pull request #12807 synchronize by mattrobball
May 10, 2024 18:11 33s mrb/cache_level_mvars
mrb/cache_level_mvars
May 10, 2024 18:11 33s
feat: generic linter, absorbing cdot linter and attribute [instance] in linter Detect changes to header SHAs #53699: Pull request #12143 synchronize by adomani
May 10, 2024 18:05 28s adomani/generic_cdot_linter
adomani/generic_cdot_linter
May 10, 2024 18:05 28s
[Merged by Bors] - feat: lake exe mk_all in CI Detect changes to header SHAs #53698: Pull request #11874 synchronize by adomani
May 10, 2024 18:00 24s yad/mkAll_in_CI
yad/mkAll_in_CI
May 10, 2024 18:00 24s
[Merged by Bors] - feat: lake exe mk_all as a Lean executable Detect changes to header SHAs #53697: Pull request #11853 synchronize by adomani
May 10, 2024 17:59 25s adomani/mkAll_in_lean
adomani/mkAll_in_lean
May 10, 2024 17:59 25s
[Merged by Bors] - feat(CategoryTheory/Sites): 1-hypercovers Detect changes to header SHAs #53696: Pull request #12803 synchronize by joelriou
May 10, 2024 17:05 25s one-hypercover
one-hypercover
May 10, 2024 17:05 25s
test Detect changes to header SHAs #53695: Pull request #12807 opened by mattrobball
May 10, 2024 16:58 33s mrb/cache_level_mvars
mrb/cache_level_mvars
May 10, 2024 16:58 33s
[Merged by Bors] - feat(CategoryTheory/Sites): 1-hypercovers Detect changes to header SHAs #53694: Pull request #12803 synchronize by joelriou
May 10, 2024 16:48 27s one-hypercover
one-hypercover
May 10, 2024 16:48 27s
[Merged by Bors] - Eisenstein series uniform convergence Detect changes to header SHAs #53693: Pull request #10377 synchronize by CBirkbeck
May 10, 2024 16:23 35s eisensteinSeries_Uniform_convergence
eisensteinSeries_Uniform_convergence
May 10, 2024 16:23 35s
[Merged by Bors] - feat(Combinatorics/SimpleGraph): interactions between ConnectedComponent and matchings Detect changes to header SHAs #53692: Pull request #11667 synchronize by pimotte
May 10, 2024 16:05 2m 47s PO_matching_components
PO_matching_components
May 10, 2024 16:05 2m 47s
[Merged by Bors] - feat(RingTheory/PowerSeries/WellKnown): the power series of 1 / ((1 - x) ^ (d + 1)) with coefficients in a commutative ring S, where d : ℕ. Detect changes to header SHAs #53691: Pull request #11255 synchronize by FMLJohn
May 10, 2024 15:58 2m 35s one_sub_pow_inv
one_sub_pow_inv
May 10, 2024 15:58 2m 35s
[Merged by Bors] - feat: Complete homogeneous and monomial symmetric polynomials Detect changes to header SHAs #53690: Pull request #12572 synchronize by SashaIr
May 10, 2024 15:54 1m 35s sashair-hm-symmetric-polynomials
sashair-hm-symmetric-polynomials
May 10, 2024 15:54 1m 35s
feat: mul_le_mul and smul_le_smul variant Detect changes to header SHAs #53689: Pull request #12806 opened by madvorak
May 10, 2024 15:31 24s madvorak-mul
madvorak-mul
May 10, 2024 15:31 24s