Skip to content

Actions: leanprover/lean4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
89,687 workflow runs
89,687 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: add BitVec.(msb, getMsbD, getLsbD)_(neg, abs) CI #23386: Pull request #5721 synchronize by tobiasgrosser
October 27, 2024 13:29 45s opencompl:abs-neg-arith
opencompl:abs-neg-arith
October 27, 2024 13:29 45s
feat: add BitVec.(msb, getMsbD, getLsbD)_(neg, abs) Check for modules that should use `prelude` #5644: Pull request #5721 synchronize by tobiasgrosser
October 27, 2024 13:29 11s opencompl:abs-neg-arith
opencompl:abs-neg-arith
October 27, 2024 13:29 11s
feat: add BitVec.(msb, getMsbD, getLsbD)_(neg, abs) Check for copyright header #5799: Pull request #5721 synchronize by tobiasgrosser
October 27, 2024 13:29 29s opencompl:abs-neg-arith
opencompl:abs-neg-arith
October 27, 2024 13:29 29s
feat: add BitVec.(msb, getMsbD, getLsbD)_(neg, abs) Check PR title for commit convention #10746: Pull request #5721 synchronize by tobiasgrosser
October 27, 2024 13:29 1m 5s opencompl:abs-neg-arith
opencompl:abs-neg-arith
October 27, 2024 13:29 1m 5s
feat: add BitVec.(msb, getMsbD, getLsbD)_(neg, abs) Nix CI #20177: Pull request #5721 synchronize by tobiasgrosser
October 27, 2024 13:29 43s opencompl:abs-neg-arith
opencompl:abs-neg-arith
October 27, 2024 13:29 43s
feat: add BitVec.(msb, getMsbD, getLsbD)_(neg, abs) Check for stage0 changes #5788: Pull request #5721 synchronize by tobiasgrosser
October 27, 2024 13:29 1m 26s opencompl:abs-neg-arith
opencompl:abs-neg-arith
October 27, 2024 13:29 1m 26s
feat: add BitVec.(msb, getMsbD, getLsbD)_(neg, abs) Actionlint #2501: Pull request #5721 synchronize by tobiasgrosser
October 27, 2024 13:29 4m 13s opencompl:abs-neg-arith
opencompl:abs-neg-arith
October 27, 2024 13:29 4m 13s
feat: add BitVec.(msb, getMsbD, getLsbD)_(neg, abs) Check for modules that should use `prelude` #5643: Pull request #5721 synchronize by tobiasgrosser
October 27, 2024 13:29 15s opencompl:abs-neg-arith
opencompl:abs-neg-arith
October 27, 2024 13:29 15s
feat: add BitVec.(msb, getMsbD, getLsbD)_(neg, abs) CI #23385: Pull request #5721 synchronize by tobiasgrosser
October 27, 2024 13:29 28s opencompl:abs-neg-arith
opencompl:abs-neg-arith
October 27, 2024 13:29 28s
feat: add BitVec.(msb, getMsbD, getLsbD)_(neg, abs) Check PR title for commit convention #10745: Pull request #5721 synchronize by tobiasgrosser
October 27, 2024 13:29 1m 16s opencompl:abs-neg-arith
opencompl:abs-neg-arith
October 27, 2024 13:29 1m 16s
feat: add BitVec.(msb, getMsbD, getLsbD)_(neg, abs) Check for stage0 changes #5787: Pull request #5721 synchronize by tobiasgrosser
October 27, 2024 13:29 1m 55s opencompl:abs-neg-arith
opencompl:abs-neg-arith
October 27, 2024 13:29 1m 55s
feat: add BitVec.(msb, getMsbD, getLsbD)_(neg, abs) Nix CI #20176: Pull request #5721 synchronize by tobiasgrosser
October 27, 2024 13:29 27s opencompl:abs-neg-arith
opencompl:abs-neg-arith
October 27, 2024 13:29 27s
feat: add BitVec.(msb, getMsbD, getLsbD)_(neg, abs) Check for copyright header #5798: Pull request #5721 synchronize by tobiasgrosser
October 27, 2024 13:29 1m 48s opencompl:abs-neg-arith
opencompl:abs-neg-arith
October 27, 2024 13:29 1m 48s
Rewrite applies the wrong equational rule Label PR based on Comment #7637: Issue comment #5611 (comment) created by nomeata
October 27, 2024 13:12 2s
October 27, 2024 13:12 2s
Rewrite applies the wrong equational rule Label PR based on Comment #7636: Issue comment #5611 (comment) created by BrunoDutertre
October 27, 2024 12:43 2s
October 27, 2024 12:43 2s
feat: Pass argv[0] to main Label PR based on Comment #7635: Issue comment #5820 (comment) created by nomeata
October 27, 2024 10:25 1s
October 27, 2024 10:25 1s
feat: Pass argv[0] to main Label PR based on Comment #7634: Issue comment #5820 (comment) created by eric-wieser
October 27, 2024 10:12 2s
October 27, 2024 10:12 2s
PR release PR release #13960: completed by github-merge-queue bot
October 27, 2024 09:29 1s
October 27, 2024 09:29 1s
feat: if support and more in bv_decide Backport #4806: Pull request #5855 closed by hargoniX
October 27, 2024 09:05 1m 25s
October 27, 2024 09:05 1m 25s
feat: if support and more in bv_decide (#5855) Nix CI #20175: Commit 8c7f748 pushed by github-merge-queue bot
October 27, 2024 09:05 21m 36s master
master
October 27, 2024 09:05 21m 36s
feat: if support and more in bv_decide (#5855) CI #23384: Commit 8c7f748 pushed by github-merge-queue bot
October 27, 2024 09:05 23m 4s master
master
October 27, 2024 09:05 23m 4s
feat: if support and more in bv_decide (#5855) Update stage0 #1975: Commit 8c7f748 pushed by github-merge-queue bot
October 27, 2024 09:05 1m 0s master
master
October 27, 2024 09:05 1m 0s
PR release PR release #13959: completed by hargoniX
October 27, 2024 09:05 1s
October 27, 2024 09:05 1s
Nix CI Nix CI #20174: Merge group checks requested
October 27, 2024 08:40 22m 30s
October 27, 2024 08:40 22m 30s
Check for stage0 changes Check for stage0 changes #5786: Merge group checks requested
October 27, 2024 08:40 1m 44s
October 27, 2024 08:40 1m 44s