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,054 workflow runs
2,054 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Check PR body for changelog convention Check PR body for changelog convention #79: Merge group checks requested
November 8, 2024 15:37 29s
November 8, 2024 15:37 29s
feat: structure auto-completion & partial InfoTrees Check PR body for changelog convention #78: Pull request #5835 labeled by mhuisi
November 8, 2024 15:28 9s mhuisi:mhuisi/constructor-field-completion-2
mhuisi:mhuisi/constructor-field-completion-2
November 8, 2024 15:28 9s
feat: structure auto-completion & partial InfoTrees Check PR body for changelog convention #77: Pull request #5835 synchronize by mhuisi
November 8, 2024 15:27 9s mhuisi:mhuisi/constructor-field-completion-2
mhuisi:mhuisi/constructor-field-completion-2
November 8, 2024 15:27 9s
feat: BitVec lemmas for smtUDiv, smtSDiv when denominator is zero Check PR body for changelog convention #76: Pull request #5616 edited by bollu
November 8, 2024 15:14 14s opencompl:smt-div-zero
opencompl:smt-div-zero
November 8, 2024 15:14 14s
feat: BitVec lemmas for smtUDiv, smtSDiv when denominator is zero Check PR body for changelog convention #75: Pull request #5616 synchronize by bollu
November 8, 2024 15:13 10s opencompl:smt-div-zero
opencompl:smt-div-zero
November 8, 2024 15:13 10s
feat: BitVec lemmas for smtUDiv, smtSDiv when denominator is zero Check PR body for changelog convention #74: Pull request #5616 synchronize by bollu
November 8, 2024 15:12 10s opencompl:smt-div-zero
opencompl:smt-div-zero
November 8, 2024 15:12 10s
fix: only consider salient bytes in sharecommon eq, hash Check PR body for changelog convention #73: Pull request #5840 labeled by leanprover-bot
November 8, 2024 15:10 13s tkoeppe:only_data
tkoeppe:only_data
November 8, 2024 15:10 13s
feat: stronger proof strategy for partial inhabitation Check PR body for changelog convention #72: Pull request #5847 labeled by leanprover-bot
November 8, 2024 15:10 10s kmill:inhabitation
kmill:inhabitation
November 8, 2024 15:10 10s
feat: add date and time functionality Check PR body for changelog convention #71: Pull request #4904 synchronize by algebraic-dev
November 8, 2024 15:10 11s algebraic-dev:master
algebraic-dev:master
November 8, 2024 15:10 11s
feat: add date and time functionality Check PR body for changelog convention #70: Pull request #4904 synchronize by algebraic-dev
November 8, 2024 14:43 13s algebraic-dev:master
algebraic-dev:master
November 8, 2024 14:43 13s
feat: add date and time functionality Check PR body for changelog convention #69: Pull request #4904 synchronize by algebraic-dev
November 8, 2024 14:41 10s algebraic-dev:master
algebraic-dev:master
November 8, 2024 14:41 10s
feat: add date and time functionality Check PR body for changelog convention #68: Pull request #4904 synchronize by algebraic-dev
November 8, 2024 14:06 7m 50s algebraic-dev:master
algebraic-dev:master
November 8, 2024 14:06 7m 50s
feat: add date and time functionality Check PR body for changelog convention #67: Pull request #4904 synchronize by algebraic-dev
November 8, 2024 13:57 10s algebraic-dev:master
algebraic-dev:master
November 8, 2024 13:57 10s
Check PR body for changelog convention Check PR body for changelog convention #66: Merge group checks requested
November 8, 2024 13:47 14s
November 8, 2024 13:47 14s
Check PR body for changelog convention Check PR body for changelog convention #65: Merge group checks requested
November 8, 2024 13:27 10s
November 8, 2024 13:27 10s
Check PR body for changelog convention Check PR body for changelog convention #64: Merge group checks requested
November 8, 2024 13:15 16s
November 8, 2024 13:15 16s
fix: validate atoms modulo leading and trailing whitespace Check PR body for changelog convention #63: Pull request #6012 synchronize by david-christiansen
November 8, 2024 12:47 1m 25s david-christiansen:atom-validation-ws
david-christiansen:atom-validation-ws
November 8, 2024 12:47 1m 25s
fix: validate atoms modulo leading and trailing whitespace Check PR body for changelog convention #62: Pull request #6012 labeled by leanprover-community-bot
November 8, 2024 12:38 16s david-christiansen:atom-validation-ws
david-christiansen:atom-validation-ws
November 8, 2024 12:38 16s
Check PR body for changelog convention Check PR body for changelog convention #61: Merge group checks requested
November 8, 2024 12:37 11s
November 8, 2024 12:37 11s
fix: add cmake COPY_CADICAL option to allow turning off install copy Check PR body for changelog convention #60: Pull request #5931 labeled by Kha
November 8, 2024 12:36 10s juhp:COPY_CADICAL
juhp:COPY_CADICAL
November 8, 2024 12:36 10s
fix: validate atoms modulo leading and trailing whitespace Check PR body for changelog convention #59: Pull request #6012 labeled by david-christiansen
November 8, 2024 12:12 8s david-christiansen:atom-validation-ws
david-christiansen:atom-validation-ws
November 8, 2024 12:12 8s
fix: validate atoms modulo leading and trailing whitespace Check PR body for changelog convention #58: Pull request #6012 opened by david-christiansen
November 8, 2024 12:10 9s david-christiansen:atom-validation-ws
david-christiansen:atom-validation-ws
November 8, 2024 12:10 9s
feat: change bv_decide to an elaborated config Check PR body for changelog convention #57: Pull request #6010 synchronize by hargoniX
November 8, 2024 10:40 12s hbv/bv_decide_config
hbv/bv_decide_config
November 8, 2024 10:40 12s
feat: change bv_decide to an elaborated config Check PR body for changelog convention #56: Pull request #6010 synchronize by hargoniX
November 8, 2024 10:39 10s hbv/bv_decide_config
hbv/bv_decide_config
November 8, 2024 10:39 10s
feat: add date and time functionality Check PR body for changelog convention #55: Pull request #4904 edited by TwoFX
November 8, 2024 10:32 13s algebraic-dev:master
algebraic-dev:master
November 8, 2024 10:32 13s
ProTip! You can narrow down the results and go further in time using created:<2024-11-08 or the other filters available.