Skip to content

Actions: leanprover/lean4

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
14,206 workflow runs
14,206 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: prop instance yields theorems CI #23373: Pull request #5856 opened by kmill
October 26, 2024 23:13 16m 39s kmill:fix_672
kmill:fix_672
October 26, 2024 23:13 16m 39s
feat: if support and more in bv_decide CI #23372: Pull request #5855 synchronize by hargoniX
October 26, 2024 22:42 18m 34s hbv/bv_decide_if
hbv/bv_decide_if
October 26, 2024 22:42 18m 34s
feat: if support and more in bv_decide CI #23371: Pull request #5855 synchronize by hargoniX
October 26, 2024 22:41 1m 45s hbv/bv_decide_if
hbv/bv_decide_if
October 26, 2024 22:41 1m 45s
feat: if support and more in bv_decide CI #23370: Pull request #5855 synchronize by hargoniX
October 26, 2024 22:40 38s hbv/bv_decide_if
hbv/bv_decide_if
October 26, 2024 22:40 38s
feat: if support and more in bv_decide CI #23369: Pull request #5855 opened by hargoniX
October 26, 2024 22:39 1m 11s hbv/bv_decide_if
hbv/bv_decide_if
October 26, 2024 22:39 1m 11s
feat: add delaborators for <|>, <*>, >>, <*, and *> CI #23368: Pull request #5854 opened by kmill
October 26, 2024 22:32 19m 15s kmill:fix_5668
kmill:fix_5668
October 26, 2024 22:32 19m 15s
feat: record all structure parents in StructureInfo CI #23367: Pull request #5853 opened by kmill
October 26, 2024 20:50 19m 18s kmill:record_parents
kmill:record_parents
October 26, 2024 20:50 19m 18s
feat: support BitVec.ofBool in bv_decide (#5852) CI #23366: Commit 8b5443e pushed by github-merge-queue bot
October 26, 2024 19:37 28m 10s master
master
October 26, 2024 19:37 28m 10s
CI CI #23365: Merge group checks requested
October 26, 2024 19:08 28m 25s
October 26, 2024 19:08 28m 25s
feat: support BitVec.ofBool in bv_decide CI #23364: Pull request #5852 synchronize by hargoniX
October 26, 2024 18:53 14m 22s hbv/bv_decide_ofBool
hbv/bv_decide_ofBool
October 26, 2024 18:53 14m 22s
feat: support BitVec.ofBool in bv_decide CI #23363: Pull request #5852 synchronize by hargoniX
October 26, 2024 17:59 19m 34s hbv/bv_decide_ofBool
hbv/bv_decide_ofBool
October 26, 2024 17:59 19m 34s
feat: add (msb, getMsbD)_twoPow (#5851) CI #23362: Commit 08c36e4 pushed by github-merge-queue bot
October 26, 2024 17:57 29m 17s master
master
October 26, 2024 17:57 29m 17s
feat: support BitVec.ofBool in bv_decide CI #23361: Pull request #5852 opened by hargoniX
October 26, 2024 17:44 15m 12s hbv/bv_decide_ofBool
hbv/bv_decide_ofBool
October 26, 2024 17:44 15m 12s
CI CI #23360: Merge group checks requested
October 26, 2024 17:27 28m 44s
October 26, 2024 17:27 28m 44s
feat: stronger proof strategy for partial inhabitation CI #23359: Pull request #5847 synchronize by kmill
October 26, 2024 16:39 14m 15s kmill:inhabitation
kmill:inhabitation
October 26, 2024 16:39 14m 15s
feat: add (msb, getMsbD)_twoPow CI #23358: Pull request #5851 synchronize by luisacicolini
October 26, 2024 16:12 14m 25s opencompl:msb-twopow
opencompl:msb-twopow
October 26, 2024 16:12 14m 25s
feat: add (msb, getMsbD)_twoPow CI #23357: Pull request #5851 opened by luisacicolini
October 26, 2024 13:02 19m 4s opencompl:msb-twopow
opencompl:msb-twopow
October 26, 2024 13:02 19m 4s
fix: deprecations in Init.Data.Array.Basic (#5848) CI #23356: Commit 8f0328b pushed by github-merge-queue bot
October 26, 2024 11:03 31m 2s master
master
October 26, 2024 11:03 31m 2s
refactor: Predefinition.Structural code cleanup (#5850) CI #23355: Commit 38490a4 pushed by github-merge-queue bot
October 26, 2024 10:56 7m 36s master
master
October 26, 2024 10:56 7m 36s
CI CI #23354: Merge group checks requested
October 26, 2024 10:34 28m 38s
October 26, 2024 10:34 28m 38s
CI CI #23353: Merge group checks requested
October 26, 2024 10:26 28m 40s
October 26, 2024 10:26 28m 40s
CI CI #23352: Merge group checks requested
October 26, 2024 10:22 28m 41s
October 26, 2024 10:22 28m 41s
CI CI #23351: Merge group checks requested
October 26, 2024 10:07 28m 21s
October 26, 2024 10:07 28m 21s
refactor: Predefinition.Structural code cleanup CI #23350: Pull request #5850 synchronize by nomeata
October 26, 2024 10:04 17m 39s joachim/issue5836-bits
joachim/issue5836-bits
October 26, 2024 10:04 17m 39s
refactor: Predefinition.Structural code cleanup CI #23349: Pull request #5850 synchronize by nomeata
October 26, 2024 09:51 12m 44s joachim/issue5836-bits
joachim/issue5836-bits
October 26, 2024 09:51 12m 44s