Skip to content

Actions: leanprover/lean4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
16,003 workflow run results
16,003 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore: remove @[simp] from some new BitVec lemmas Label PR based on Comment #2698: Issue comment #3466 (comment) created by leanprover-community-mathlib4-bot
February 22, 2024 23:02 2s
February 22, 2024 23:02 2s
PR release PR release #3902: completed by kim-em
February 22, 2024 23:00 2m 8s
February 22, 2024 23:00 2m 8s
chore: remove @[simp] from some new BitVec lemmas Nix CI #10670: Pull request #3466 opened by kim-em
February 22, 2024 22:46 8m 43s no_simp_msb_eq_decide
no_simp_msb_eq_decide
February 22, 2024 22:46 8m 43s
chore: remove @[simp] from some new BitVec lemmas Check PR title for commit convention #1939: Pull request #3466 opened by kim-em
February 22, 2024 22:46 12s no_simp_msb_eq_decide
no_simp_msb_eq_decide
February 22, 2024 22:46 12s
chore: remove @[simp] from some new BitVec lemmas CI #13554: Pull request #3466 opened by kim-em
February 22, 2024 22:46 14m 0s no_simp_msb_eq_decide
no_simp_msb_eq_decide
February 22, 2024 22:46 14m 0s
chore: remove @[simp] from some new BitVec lemmas Check for copyright header #136: Pull request #3466 opened by kim-em
February 22, 2024 22:46 26s no_simp_msb_eq_decide
no_simp_msb_eq_decide
February 22, 2024 22:46 26s
PR release PR release #3901: completed by alexkeizer
February 22, 2024 20:52 2m 20s
February 22, 2024 20:52 2m 20s
fix: auto-completion bugs and performance Label PR based on Comment #2697: Issue comment #3460 (comment) created by leanprover-community-mathlib4-bot
February 22, 2024 20:44 3s
February 22, 2024 20:44 3s
PR release PR release #3900: completed by mhuisi
February 22, 2024 20:42 2m 10s
February 22, 2024 20:42 2m 10s
PR release PR release #3899: completed by github-merge-queue bot
February 22, 2024 20:40 3s
February 22, 2024 20:40 3s
PR release PR release #3898: completed by alexkeizer
February 22, 2024 20:37 2s
February 22, 2024 20:37 2s
feat: add BitVec.getLsb_concat Check PR title for commit convention #1938: Pull request #3457 synchronize by alexkeizer
February 22, 2024 20:36 12s opencompl:getlsb-concat
opencompl:getlsb-concat
February 22, 2024 20:36 12s
feat: add BitVec.getLsb_concat Check for copyright header #135: Pull request #3457 synchronize by alexkeizer
February 22, 2024 20:36 28s opencompl:getlsb-concat
opencompl:getlsb-concat
February 22, 2024 20:36 28s
feat: add BitVec.getLsb_concat CI #13553: Pull request #3457 synchronize by alexkeizer
February 22, 2024 20:36 15m 38s opencompl:getlsb-concat
opencompl:getlsb-concat
February 22, 2024 20:36 15m 38s
feat: add BitVec.getLsb_concat Nix CI #10669: Pull request #3457 synchronize by alexkeizer
February 22, 2024 20:36 20m 14s opencompl:getlsb-concat
opencompl:getlsb-concat
February 22, 2024 20:36 20m 14s
feat: add BitVec.getLsb_concat Label PR based on Comment #2696: Issue comment #3457 (comment) created by alexkeizer
February 22, 2024 20:34 11s
February 22, 2024 20:34 11s
feat: add BitVec.getLsb_concat Nix CI #10668: Pull request #3457 synchronize by alexkeizer
February 22, 2024 20:34 2m 18s opencompl:getlsb-concat
opencompl:getlsb-concat
February 22, 2024 20:34 2m 18s
feat: add BitVec.getLsb_concat CI #13552: Pull request #3457 synchronize by alexkeizer
February 22, 2024 20:34 2m 38s opencompl:getlsb-concat
opencompl:getlsb-concat
February 22, 2024 20:34 2m 38s
feat: add BitVec.getLsb_concat Check PR title for commit convention #1937: Pull request #3457 synchronize by alexkeizer
February 22, 2024 20:34 13s opencompl:getlsb-concat
opencompl:getlsb-concat
February 22, 2024 20:34 13s
feat: add BitVec.getLsb_concat Check for copyright header #134: Pull request #3457 synchronize by alexkeizer
February 22, 2024 20:34 23s opencompl:getlsb-concat
opencompl:getlsb-concat
February 22, 2024 20:34 23s
PR release PR release #3897: completed by alexkeizer
February 22, 2024 20:34 2s
February 22, 2024 20:34 2s
refactor: make hIterate_elim more specific Check PR title for commit convention #1936: Pull request #3465 edited by alexkeizer
February 22, 2024 20:33 10s opencompl:generalize-hiterate-elim
opencompl:generalize-hiterate-elim
February 22, 2024 20:33 10s
refactor: make hIterate_elim more specific Check PR title for commit convention #1935: Pull request #3465 edited by alexkeizer
February 22, 2024 20:32 13s opencompl:generalize-hiterate-elim
opencompl:generalize-hiterate-elim
February 22, 2024 20:32 13s
refactor: make hIterate_elim more specific Nix CI #10667: Pull request #3465 opened by alexkeizer
February 22, 2024 20:30 2m 53s opencompl:generalize-hiterate-elim
opencompl:generalize-hiterate-elim
February 22, 2024 20:30 2m 53s
refactor: make hIterate_elim more specific Check for copyright header #133: Pull request #3465 opened by alexkeizer
February 22, 2024 20:30 26s opencompl:generalize-hiterate-elim
opencompl:generalize-hiterate-elim
February 22, 2024 20:30 26s