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: do not propagate pretty printer errors through messages Check PR body for changelog convention #1926: Pull request #3696 synchronize by tydeu
December 10, 2024 03:37 10s tydeu:pp-baseio
tydeu:pp-baseio
December 10, 2024 03:37 10s
feat: BitVec.[toInt|toFin|getMsbD]_ofBool Check PR body for changelog convention #1925: Pull request #6317 synchronize by tobiasgrosser
December 10, 2024 02:28 11s opencompl:ofBool
opencompl:ofBool
December 10, 2024 02:28 11s
feat: BitVec.[toInt|toFin|getMsbD]_ofBool Check PR body for changelog convention #1924: Pull request #6317 synchronize by tobiasgrosser
December 10, 2024 02:17 9s opencompl:ofBool
opencompl:ofBool
December 10, 2024 02:17 9s
feat: do not propagate pretty printer errors through messages Check PR body for changelog convention #1923: Pull request #3696 synchronize by tydeu
December 10, 2024 02:10 10s tydeu:pp-baseio
tydeu:pp-baseio
December 10, 2024 02:10 10s
feat: BitVec.[toInt|toFin|getMsbD]_ofBool Check PR body for changelog convention #1922: Pull request #6317 synchronize by tobiasgrosser
December 10, 2024 02:09 12s opencompl:ofBool
opencompl:ofBool
December 10, 2024 02:09 12s
feat: BitVec.[toInt|toFin|getMsbD]_ofBool Check PR body for changelog convention #1921: Pull request #6317 synchronize by tobiasgrosser
December 10, 2024 02:09 15s opencompl:ofBool
opencompl:ofBool
December 10, 2024 02:09 15s
feat: do not propagate pretty printer errors through messages Check PR body for changelog convention #1920: Pull request #3696 edited by tydeu
December 10, 2024 01:47 9s tydeu:pp-baseio
tydeu:pp-baseio
December 10, 2024 01:47 9s
feat: do not propagate pretty printer errors through messages Check PR body for changelog convention #1919: Pull request #3696 edited by tydeu
December 10, 2024 01:46 9s tydeu:pp-baseio
tydeu:pp-baseio
December 10, 2024 01:46 9s
feat: do not propagate pretty printer errors through messages Check PR body for changelog convention #1918: Pull request #3696 labeled by tydeu
December 10, 2024 01:43 13s tydeu:pp-baseio
tydeu:pp-baseio
December 10, 2024 01:43 13s
feat: do not propagate pretty printer errors through messages Check PR body for changelog convention #1917: Pull request #3696 synchronize by tydeu
December 10, 2024 01:42 9s tydeu:pp-baseio
tydeu:pp-baseio
December 10, 2024 01:42 9s
Check PR body for changelog convention Check PR body for changelog convention #1916: Merge group checks requested
December 10, 2024 01:37 7s
December 10, 2024 01:37 7s
Check PR body for changelog convention Check PR body for changelog convention #1915: Merge group checks requested
December 10, 2024 01:33 9s
December 10, 2024 01:33 9s
feat: toNat theorems for rotateLeft and rotateRight Check PR body for changelog convention #1914: Pull request #6347 labeled by kim-em
December 10, 2024 01:24 13s opencompl:rotate
opencompl:rotate
December 10, 2024 01:24 13s
feat: toInt_shiftLeft theorem Check PR body for changelog convention #1913: Pull request #6346 labeled by kim-em
December 10, 2024 01:21 12s opencompl:toInt_shiftLeft
opencompl:toInt_shiftLeft
December 10, 2024 01:21 12s
Check PR body for changelog convention Check PR body for changelog convention #1912: Merge group checks requested
December 10, 2024 01:17 9s
December 10, 2024 01:17 9s
chore: improve BitVec ext lemmas Check PR body for changelog convention #1911: Pull request #6349 synchronize by kim-em
December 10, 2024 01:16 12s bitvec_ext
bitvec_ext
December 10, 2024 01:16 12s
fix: Float32 runtime support Check PR body for changelog convention #1910: Pull request #6350 labeled by leodemoura
December 10, 2024 01:16 13s fix_float32_runtime
fix_float32_runtime
December 10, 2024 01:16 13s
fix: Float32 runtime support Check PR body for changelog convention #1909: Pull request #6350 opened by leodemoura
December 10, 2024 01:16 9s fix_float32_runtime
fix_float32_runtime
December 10, 2024 01:16 9s
feat: add BitVec.(getMSbD, msb)_replicate, replicate_append_replicate_eq and support theorems Check PR body for changelog convention #1908: Pull request #6326 labeled by kim-em
December 10, 2024 01:05 10s opencompl:msb-replicate
opencompl:msb-replicate
December 10, 2024 01:05 10s
chore: improve BitVec ext lemmas Check PR body for changelog convention #1907: Pull request #6349 opened by kim-em
December 10, 2024 00:51 11s bitvec_ext
bitvec_ext
December 10, 2024 00:51 11s
chore: DecidableRel allows a heterogeneous relation Check PR body for changelog convention #1906: Pull request #6341 labeled by leanprover-community-bot
December 10, 2024 00:43 15s generalize_DecidableRel
generalize_DecidableRel
December 10, 2024 00:43 15s
feat: add BitVec.(getMSbD, msb)_replicate, replicate_append_replicate_eq and support theorems Check PR body for changelog convention #1905: Pull request #6326 edited by kim-em
December 10, 2024 00:13 14s opencompl:msb-replicate
opencompl:msb-replicate
December 10, 2024 00:13 14s
feat: BitVec.[toInt|toFin|getMsbD]_ofBool Check PR body for changelog convention #1904: Pull request #6317 labeled by kim-em
December 10, 2024 00:12 10s opencompl:ofBool
opencompl:ofBool
December 10, 2024 00:12 10s
Check PR body for changelog convention Check PR body for changelog convention #1903: Merge group checks requested
December 9, 2024 21:34 12s
December 9, 2024 21:34 12s
feat: add support for Float32 to the Lean runtime Check PR body for changelog convention #1902: Pull request #6348 edited by leodemoura
December 9, 2024 21:20 14s float32_prep
float32_prep
December 9, 2024 21:20 14s