Skip to content

Actions: leanprover/lean4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
87,212 workflow run results
87,212 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: add BitVec.(msb, getMsbD, getLsbD)_(neg, abs) Check PR title for commit convention #10431: Pull request #5721 synchronize by alexkeizer
October 19, 2024 21:06 11s opencompl:abs-neg-arith
opencompl:abs-neg-arith
October 19, 2024 21:06 11s
Kernel: infinite loop on nested inductive type Label PR based on Comment #7456: Issue comment #5775 (comment) created by arthur-adjedj
October 19, 2024 19:58 2s
October 19, 2024 19:58 2s
Label PR based on Comment Label PR based on Comment #7455: created by tydeu
October 19, 2024 19:42 2s
October 19, 2024 19:42 2s
feat: update toolchain on lake update Restart by label #1485: Pull request #5684 labeled by leanprover-community-bot
October 19, 2024 19:29 1s
October 19, 2024 19:29 1s
feat: update toolchain on lake update Backport #4697: Pull request #5684 labeled by leanprover-community-bot
October 19, 2024 19:29 1s
October 19, 2024 19:29 1s
feat: update toolchain on lake update Restart by label #1484: Pull request #5684 unlabeled by leanprover-community-bot
October 19, 2024 19:29 2s
October 19, 2024 19:29 2s
feat: update toolchain on lake update Label PR based on Comment #7454: Issue comment #5684 (comment) created by leanprover-bot
October 19, 2024 18:39 2s
October 19, 2024 18:39 2s
PR release PR release #13632: completed by tobiasgrosser
October 19, 2024 18:34 3m 20s
October 19, 2024 18:34 3m 20s
feat: labeled and unique sorries Label PR based on Comment #7453: Issue comment #5757 (comment) created by kmill
October 19, 2024 18:30 2s
October 19, 2024 18:30 2s
PR release PR release #13631: completed by alexkeizer
October 19, 2024 18:20 2s
October 19, 2024 18:20 2s
feat: add BitVec.toInt_sub, simplify BitVec.toInt_neg Check PR title for commit convention #10430: Pull request #5772 synchronize by tobiasgrosser
October 19, 2024 18:20 9s opencompl:toInt_sub
opencompl:toInt_sub
October 19, 2024 18:20 9s
feat: add BitVec.toInt_sub, simplify BitVec.toInt_neg Check for modules that should use `prelude` #5443: Pull request #5772 synchronize by tobiasgrosser
October 19, 2024 18:20 16s opencompl:toInt_sub
opencompl:toInt_sub
October 19, 2024 18:20 16s
feat: add BitVec.toInt_sub, simplify BitVec.toInt_neg Check for copyright header #5598: Pull request #5772 synchronize by tobiasgrosser
October 19, 2024 18:20 23s opencompl:toInt_sub
opencompl:toInt_sub
October 19, 2024 18:20 23s
feat: add BitVec.toInt_sub, simplify BitVec.toInt_neg Check for stage0 changes #5528: Pull request #5772 synchronize by tobiasgrosser
October 19, 2024 18:20 28s opencompl:toInt_sub
opencompl:toInt_sub
October 19, 2024 18:20 28s
feat: add BitVec.toInt_sub, simplify BitVec.toInt_neg Nix CI #19863: Pull request #5772 synchronize by tobiasgrosser
October 19, 2024 18:20 19m 35s opencompl:toInt_sub
opencompl:toInt_sub
October 19, 2024 18:20 19m 35s
feat: add BitVec.toInt_sub, simplify BitVec.toInt_neg CI #23064: Pull request #5772 synchronize by tobiasgrosser
October 19, 2024 18:20 13m 31s opencompl:toInt_sub
opencompl:toInt_sub
October 19, 2024 18:20 13m 31s
feat: labeled and unique sorries Label PR based on Comment #7452: Issue comment #5757 (comment) created by alexkeizer
October 19, 2024 18:19 1s
October 19, 2024 18:19 1s
feat: add BitVec.toInt_sub, simplify BitVec.toInt_neg Label PR based on Comment #7451: Issue comment #5772 (comment) created by alexkeizer
October 19, 2024 18:16 2s
October 19, 2024 18:16 2s
feat: add BitVec.toInt_sub, simplify BitVec.toInt_neg Nix CI #19862: Pull request #5772 synchronize by alexkeizer
October 19, 2024 18:15 5m 14s opencompl:toInt_sub
opencompl:toInt_sub
October 19, 2024 18:15 5m 14s
feat: add BitVec.toInt_sub, simplify BitVec.toInt_neg CI #23063: Pull request #5772 synchronize by alexkeizer
October 19, 2024 18:15 5m 16s opencompl:toInt_sub
opencompl:toInt_sub
October 19, 2024 18:15 5m 16s
feat: add BitVec.toInt_sub, simplify BitVec.toInt_neg Check for stage0 changes #5527: Pull request #5772 synchronize by alexkeizer
October 19, 2024 18:15 28s opencompl:toInt_sub
opencompl:toInt_sub
October 19, 2024 18:15 28s
feat: add BitVec.toInt_sub, simplify BitVec.toInt_neg Check for copyright header #5597: Pull request #5772 synchronize by alexkeizer
October 19, 2024 18:15 23s opencompl:toInt_sub
opencompl:toInt_sub
October 19, 2024 18:15 23s
feat: add BitVec.toInt_sub, simplify BitVec.toInt_neg Check PR title for commit convention #10429: Pull request #5772 synchronize by alexkeizer
October 19, 2024 18:15 13s opencompl:toInt_sub
opencompl:toInt_sub
October 19, 2024 18:15 13s
feat: add BitVec.toInt_sub, simplify BitVec.toInt_neg Check for modules that should use `prelude` #5442: Pull request #5772 synchronize by alexkeizer
October 19, 2024 18:15 13s opencompl:toInt_sub
opencompl:toInt_sub
October 19, 2024 18:15 13s
feat: update toolchain on lake update Backport #4696: Pull request #5684 labeled by leanprover-community-bot
October 19, 2024 18:02 1s
October 19, 2024 18:02 1s