Skip to content

Actions: leanprover/lean4

Actions

Check PR body for changelog convention

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
pr-body.yml
2,051 workflow runs
2,051 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: add support for Float32 to the Lean runtime Check PR body for changelog convention #1901: Pull request #6348 synchronize by leodemoura
December 9, 2024 21:19 9s float32_prep
float32_prep
December 9, 2024 21:19 9s
feat: add support for Float32 to the Lean runtime Check PR body for changelog convention #1900: Pull request #6348 edited by leodemoura
December 9, 2024 21:16 10s float32_prep
float32_prep
December 9, 2024 21:16 10s
Check PR body for changelog convention Check PR body for changelog convention #1899: Merge group checks requested
December 9, 2024 21:15 9s
December 9, 2024 21:15 9s
feat: add support for Float32 to the Lean runtime Check PR body for changelog convention #1898: Pull request #6348 opened by leodemoura
December 9, 2024 21:14 13s float32_prep
float32_prep
December 9, 2024 21:14 13s
feat: add support for Float32 to the Lean runtime Check PR body for changelog convention #1897: Pull request #6348 labeled by leodemoura
December 9, 2024 21:14 12s float32_prep
float32_prep
December 9, 2024 21:14 12s
feat: toInt_shiftLeft theorem Check PR body for changelog convention #1896: Pull request #6346 edited by mhk119
December 9, 2024 19:34 9s opencompl:toInt_shiftLeft
opencompl:toInt_shiftLeft
December 9, 2024 19:34 9s
feat: toInt_shiftLeft theorem Check PR body for changelog convention #1895: Pull request #6346 edited by mhk119
December 9, 2024 19:34 9s opencompl:toInt_shiftLeft
opencompl:toInt_shiftLeft
December 9, 2024 19:34 9s
feat: toInt_shiftLeft theorem Check PR body for changelog convention #1894: Pull request #6346 synchronize by mhk119
December 9, 2024 19:20 12s opencompl:toInt_shiftLeft
opencompl:toInt_shiftLeft
December 9, 2024 19:20 12s
feat: toNat theorems for rotateLeft and rotateRight Check PR body for changelog convention #1893: Pull request #6347 synchronize by mhk119
December 9, 2024 19:18 16s opencompl:rotate
opencompl:rotate
December 9, 2024 19:18 16s
feat: toInt_shiftLeft theorem Check PR body for changelog convention #1892: Pull request #6346 edited by mhk119
December 9, 2024 19:11 10s opencompl:toInt_shiftLeft
opencompl:toInt_shiftLeft
December 9, 2024 19:11 10s
feat: toNat theorems for rotateLeft and rotateRight Check PR body for changelog convention #1891: Pull request #6347 opened by mhk119
December 9, 2024 17:53 10s opencompl:rotate
opencompl:rotate
December 9, 2024 17:53 10s
feat: toInt_shiftLeft theorem Check PR body for changelog convention #1890: Pull request #6346 opened by mhk119
December 9, 2024 17:47 10s opencompl:toInt_shiftLeft
opencompl:toInt_shiftLeft
December 9, 2024 17:47 10s
doc: clarify difference between Expr.hasLooseBVars and Expr.hasLooseBVar Check PR body for changelog convention #1889: Pull request #6344 synchronize by alexkeizer
December 9, 2024 17:35 19s opencompl:doc-expr-hasLooseBVar
opencompl:doc-expr-hasLooseBVar
December 9, 2024 17:35 19s
feat: add BitVec.(getMSbD, msb)_replicate, replicate_append_replicate_eq and support theorems Check PR body for changelog convention #1888: Pull request #6326 synchronize by luisacicolini
December 9, 2024 17:07 16s opencompl:msb-replicate
opencompl:msb-replicate
December 9, 2024 17:07 16s
feat: add BitVec.(getMSbD, msb)_replicate, replicate_append_replicate_eq and support theorems Check PR body for changelog convention #1887: Pull request #6326 synchronize by luisacicolini
December 9, 2024 17:05 13s opencompl:msb-replicate
opencompl:msb-replicate
December 9, 2024 17:05 13s
fix: indent nested traces correctly Check PR body for changelog convention #1886: Pull request #6345 opened by eric-wieser
December 9, 2024 15:53 14s eric-wieser:patch-30
eric-wieser:patch-30
December 9, 2024 15:53 14s
doc: clarify difference between Expr.hasLooseBVars and Expr.hasLooseBVar Check PR body for changelog convention #1885: Pull request #6344 opened by alexkeizer
December 9, 2024 15:06 11s opencompl:doc-expr-hasLooseBVar
opencompl:doc-expr-hasLooseBVar
December 9, 2024 15:06 11s
feat: importModules without loading environment extensions Check PR body for changelog convention #1884: Pull request #6325 labeled by leanprover-community-bot
December 9, 2024 14:57 15s Kha:push-mtllrxtzuprp
Kha:push-mtllrxtzuprp
December 9, 2024 14:57 15s
feat: BitVec.[toFin|getMsbD]_setWidth and [getMsbD|msb]_signExtend Check PR body for changelog convention #1883: Pull request #6338 synchronize by tobiasgrosser
December 9, 2024 14:32 18s opencompl:bv_msb_signzeroextend
opencompl:bv_msb_signzeroextend
December 9, 2024 14:32 18s
feat: BitVec.[toFin|getMsbD]_setWidth and [getMsbD|msb]_signExtend Check PR body for changelog convention #1882: Pull request #6338 synchronize by tobiasgrosser
December 9, 2024 14:31 21s opencompl:bv_msb_signzeroextend
opencompl:bv_msb_signzeroextend
December 9, 2024 14:31 21s
feat: BitVec.[toFin|getMsbD]_setWidth and [getMsbD|msb]_signExtend Check PR body for changelog convention #1881: Pull request #6338 synchronize by tobiasgrosser
December 9, 2024 14:26 11s opencompl:bv_msb_signzeroextend
opencompl:bv_msb_signzeroextend
December 9, 2024 14:26 11s
Check PR body for changelog convention Check PR body for changelog convention #1880: Merge group checks requested
December 9, 2024 14:04 36s
December 9, 2024 14:04 36s
chore: cleanup of Array lemmas Check PR body for changelog convention #1879: Pull request #6343 opened by kim-em
December 9, 2024 13:50 10s array_cleanup7
array_cleanup7
December 9, 2024 13:50 10s
chore: cleanup of Array lemmas Check PR body for changelog convention #1878: Pull request #6343 labeled by kim-em
December 9, 2024 13:50 10s array_cleanup7
array_cleanup7
December 9, 2024 13:50 10s
chore: alignment of Array and List lemmas Check PR body for changelog convention #1877: Pull request #6342 labeled by leanprover-community-bot
December 9, 2024 13:38 12s array_cleanup6
array_cleanup6
December 9, 2024 13:38 12s