Skip to content

Actions: leanprover/lean4

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: record all structure parents in StructureInfo (#5853) CI #23397: Commit 9847923 pushed by github-merge-queue bot
October 28, 2024 01:47 24m 33s master
master
October 28, 2024 01:47 24m 33s
CI CI #23396: Merge group checks requested
October 28, 2024 01:24 23m 9s
October 28, 2024 01:24 23m 9s
feat: preserve binder names in signatures CI #23395: Pull request #5827 synchronize by kmill
October 28, 2024 01:05 20m 31s kmill:fix_5810
kmill:fix_5810
October 28, 2024 01:05 20m 31s
feat: record all structure parents in StructureInfo CI #23394: Pull request #5853 synchronize by kmill
October 27, 2024 23:36 19m 33s kmill:record_parents
kmill:record_parents
October 27, 2024 23:36 19m 33s
feat: make it possible to use dot notation in m! strings (#5857) CI #23393: Commit 709ea6c pushed by github-merge-queue bot
October 27, 2024 23:19 22m 34s master
master
October 27, 2024 23:19 22m 34s
CI CI #23392: Merge group checks requested
October 27, 2024 22:55 23m 25s
October 27, 2024 22:55 23m 25s
feat: make it possible to use dot notation in m! strings CI #23391: Pull request #5857 synchronize by kmill
October 27, 2024 16:09 14m 31s kmill:tomessagedata_default
kmill:tomessagedata_default
October 27, 2024 16:09 14m 31s
feat: add BitVec.(msb, getMsbD, getLsbD)_(neg, abs) CI #23390: Pull request #5721 synchronize by luisacicolini
October 27, 2024 15:48 14m 29s opencompl:abs-neg-arith
opencompl:abs-neg-arith
October 27, 2024 15:48 14m 29s
feat: add BitVec.[zero_ushiftRight|zero_sshiftRight|zero_mul] and cle… CI #23389: Pull request #5858 opened by tobiasgrosser
October 27, 2024 15:31 19m 2s opencompl:bv_zero_one_simps
opencompl:bv_zero_one_simps
October 27, 2024 15:31 19m 2s
feat: add BitVec.(msb, getMsbD, getLsbD)_(neg, abs) CI #23388: Pull request #5721 synchronize by tobiasgrosser
October 27, 2024 13:48 22m 4s opencompl:abs-neg-arith
opencompl:abs-neg-arith
October 27, 2024 13:48 22m 4s
feat: add BitVec.(msb, getMsbD, getLsbD)_(neg, abs) CI #23387: Pull request #5721 synchronize by tobiasgrosser
October 27, 2024 13:30 10m 33s opencompl:abs-neg-arith
opencompl:abs-neg-arith
October 27, 2024 13:30 10m 33s
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) 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: 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
CI CI #23383: Merge group checks requested
October 27, 2024 08:40 24m 37s
October 27, 2024 08:40 24m 37s
CI CI #23382: Scheduled
October 27, 2024 07:03 1h 20m 12s master
master
October 27, 2024 07:03 1h 20m 12s
feat: make it possible to use dot notation in m! strings CI #23381: Pull request #5857 synchronize by kmill
October 27, 2024 02:24 19m 2s kmill:tomessagedata_default
kmill:tomessagedata_default
October 27, 2024 02:24 19m 2s
feat: make it possible to use dot notation in m! strings CI #23380: Pull request #5857 opened by kmill
October 27, 2024 01:41 13m 0s kmill:tomessagedata_default
kmill:tomessagedata_default
October 27, 2024 01:41 13m 0s
fix: prevent addPPExplicitToExposeDiff from assigning metavariables CI #23379: Pull request #5276 synchronize by kmill
October 27, 2024 01:27 15m 14s kmill:fix_addppexplicittoexposediff
kmill:fix_addppexplicittoexposediff
October 27, 2024 01:27 15m 14s
fix: prevent addPPExplicitToExposeDiff from assigning metavariables CI #23378: Pull request #5276 synchronize by kmill
October 27, 2024 01:15 12m 5s kmill:fix_addppexplicittoexposediff
kmill:fix_addppexplicittoexposediff
October 27, 2024 01:15 12m 5s
feat: add delaborators for <|>, <*>, >>, <*, and *> (#5854) CI #23377: Commit c50f04a pushed by github-merge-queue bot
October 27, 2024 00:18 28m 16s master
master
October 27, 2024 00:18 28m 16s
fix: prevent addPPExplicitToExposeDiff from assigning metavariables CI #23376: Pull request #5276 synchronize by kmill
October 27, 2024 00:00 19m 17s kmill:fix_addppexplicittoexposediff
kmill:fix_addppexplicittoexposediff
October 27, 2024 00:00 19m 17s
fix: prevent addPPExplicitToExposeDiff from assigning metavariables CI #23375: Pull request #5276 synchronize by kmill
October 26, 2024 23:59 1m 12s kmill:fix_addppexplicittoexposediff
kmill:fix_addppexplicittoexposediff
October 26, 2024 23:59 1m 12s
CI CI #23374: Merge group checks requested
October 26, 2024 23:49 28m 55s
October 26, 2024 23:49 28m 55s
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