Skip to content

Actions: leanprover/lean4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
113,909 workflow runs
113,909 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Check for stage0 changes Check for stage0 changes #8309: Merge group checks requested
January 13, 2025 18:51 38s
January 13, 2025 18:51 38s
Check PR title for commit convention Check PR title for commit convention #13783: Merge group checks requested
January 13, 2025 18:51 13s
January 13, 2025 18:51 13s
feat: implement basic async IO with timers Backport #6370: Pull request #6505 closed by hargoniX
January 13, 2025 18:38 13s
January 13, 2025 18:38 13s
feat: implement basic async IO with timers (#6505) CI #26567: Commit e6a6437 pushed by github-merge-queue bot
January 13, 2025 18:38 31m 5s master
master
January 13, 2025 18:38 31m 5s
feat: implement basic async IO with timers (#6505) Update stage0 #2555: Commit e6a6437 pushed by github-merge-queue bot
January 13, 2025 18:38 38s master
master
January 13, 2025 18:38 38s
feat: implement basic async IO with timers (#6505) Nix CI #23270: Commit e6a6437 pushed by github-merge-queue bot
January 13, 2025 18:38 21m 26s master
master
January 13, 2025 18:38 21m 26s
PR release PR release #17195: completed by hargoniX
January 13, 2025 18:38 3s
January 13, 2025 18:38 3s
PR release PR release #17194: completed by luisacicolini
January 13, 2025 18:35 2m 15s
January 13, 2025 18:35 2m 15s
PR release PR release #17193: completed by luisacicolini
January 13, 2025 18:15 2s
January 13, 2025 18:15 2s
feat: add Nat.[shiftLeft_or_distrib, shiftLeft_xor_distrib, shiftLeft_and_distrib, testBit_mul_two_pow,bitwise_mul_two_pow, shiftLeft_bitwise_distrib] Check for modules that should use `prelude` #7535: Pull request #6630 synchronize by luisacicolini
January 13, 2025 18:15 14s opencompl:nat-shiftleft-distrib-s
opencompl:nat-shiftleft-distrib-s
January 13, 2025 18:15 14s
feat: add Nat.[shiftLeft_or_distrib, shiftLeft_xor_distrib, shiftLeft_and_distrib, testBit_mul_two_pow,bitwise_mul_two_pow, shiftLeft_bitwise_distrib] Check for stage0 changes #8308: Pull request #6630 synchronize by luisacicolini
January 13, 2025 18:15 46s opencompl:nat-shiftleft-distrib-s
opencompl:nat-shiftleft-distrib-s
January 13, 2025 18:15 46s
feat: add Nat.[shiftLeft_or_distrib, shiftLeft_xor_distrib, shiftLeft_and_distrib, testBit_mul_two_pow,bitwise_mul_two_pow, shiftLeft_bitwise_distrib] Nix CI #23269: Pull request #6630 synchronize by luisacicolini
January 13, 2025 18:15 14m 23s opencompl:nat-shiftleft-distrib-s
opencompl:nat-shiftleft-distrib-s
January 13, 2025 18:15 14m 23s
feat: add Nat.[shiftLeft_or_distrib, shiftLeft_xor_distrib, shiftLeft_and_distrib, testBit_mul_two_pow,bitwise_mul_two_pow, shiftLeft_bitwise_distrib] Check PR body for changelog convention #3340: Pull request #6630 synchronize by luisacicolini
January 13, 2025 18:15 10s opencompl:nat-shiftleft-distrib-s
opencompl:nat-shiftleft-distrib-s
January 13, 2025 18:15 10s
feat: add Nat.[shiftLeft_or_distrib, shiftLeft_xor_distrib, shiftLeft_and_distrib, testBit_mul_two_pow,bitwise_mul_two_pow, shiftLeft_bitwise_distrib] CI #26566: Pull request #6630 synchronize by luisacicolini
January 13, 2025 18:15 20m 22s opencompl:nat-shiftleft-distrib-s
opencompl:nat-shiftleft-distrib-s
January 13, 2025 18:15 20m 22s
feat: add Nat.[shiftLeft_or_distrib, shiftLeft_xor_distrib, shiftLeft_and_distrib, testBit_mul_two_pow,bitwise_mul_two_pow, shiftLeft_bitwise_distrib] Check for copyright header #7690: Pull request #6630 synchronize by luisacicolini
January 13, 2025 18:15 33s opencompl:nat-shiftleft-distrib-s
opencompl:nat-shiftleft-distrib-s
January 13, 2025 18:15 33s
feat: add Nat.[shiftLeft_or_distrib, shiftLeft_xor_distrib, shiftLeft_and_distrib, testBit_mul_two_pow,bitwise_mul_two_pow, shiftLeft_bitwise_distrib] Check PR title for commit convention #13782: Pull request #6630 synchronize by luisacicolini
January 13, 2025 18:15 12s opencompl:nat-shiftleft-distrib-s
opencompl:nat-shiftleft-distrib-s
January 13, 2025 18:15 12s
CI CI #26565: Merge group checks requested
January 13, 2025 18:11 27m 11s
January 13, 2025 18:11 27m 11s
Check PR title for commit convention Check PR title for commit convention #13781: Merge group checks requested
January 13, 2025 18:11 13s
January 13, 2025 18:11 13s
Nix CI Nix CI #23268: Merge group checks requested
January 13, 2025 18:11 24m 49s
January 13, 2025 18:11 24m 49s
Check for stage0 changes Check for stage0 changes #8307: Merge group checks requested
January 13, 2025 18:11 39s
January 13, 2025 18:11 39s
Check PR body for changelog convention Check PR body for changelog convention #3339: Merge group checks requested
January 13, 2025 18:11 13s
January 13, 2025 18:11 13s
Actionlint Actionlint #3228: Merge group checks requested
January 13, 2025 18:11 37s
January 13, 2025 18:11 37s
PR release PR release #17192: completed by luisacicolini
January 13, 2025 18:10 1s
January 13, 2025 18:10 1s
feat: add Nat.[shiftLeft_or_distrib, shiftLeft_xor_distrib, shiftLeft_and_distrib, testBit_mul_two_pow,bitwise_mul_two_pow, shiftLeft_bitwise_distrib] Check for modules that should use `prelude` #7534: Pull request #6630 synchronize by luisacicolini
January 13, 2025 18:10 17s opencompl:nat-shiftleft-distrib-s
opencompl:nat-shiftleft-distrib-s
January 13, 2025 18:10 17s
feat: add Nat.[shiftLeft_or_distrib, shiftLeft_xor_distrib, shiftLeft_and_distrib, testBit_mul_two_pow,bitwise_mul_two_pow, shiftLeft_bitwise_distrib] Check PR title for commit convention #13780: Pull request #6630 synchronize by luisacicolini
January 13, 2025 18:10 14s opencompl:nat-shiftleft-distrib-s
opencompl:nat-shiftleft-distrib-s
January 13, 2025 18:10 14s