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

chore: List.modifyTailIdx naming fix Check PR body for changelog convention #26: Pull request #6007 opened by kim-em
November 8, 2024 02:19 11s modifyTailIdx_naming
modifyTailIdx_naming
November 8, 2024 02:19 11s
feat: decide +revert and improvements to native_decide Check PR body for changelog convention #25: Pull request #5999 synchronize by kmill
November 8, 2024 02:13 10s kmill:decide_revert
kmill:decide_revert
November 8, 2024 02:13 10s
Theorems for ushiftRight Check PR body for changelog convention #24: Pull request #6004 labeled by leanprover-community-bot
November 8, 2024 00:36 8s opencompl:ushiftRight
opencompl:ushiftRight
November 8, 2024 00:36 8s
Theorems for ushiftRight Check PR body for changelog convention #23: Pull request #6005 opened by mhk119
November 8, 2024 00:25 10s opencompl:ushiftRight
opencompl:ushiftRight
November 8, 2024 00:25 10s
Theorems for ushiftRight Check PR body for changelog convention #22: Pull request #6004 synchronize by mhk119
November 8, 2024 00:22 11s opencompl:ushiftRight
opencompl:ushiftRight
November 8, 2024 00:22 11s
Theorems for ushiftRight Check PR body for changelog convention #21: Pull request #6004 edited by mhk119
November 7, 2024 23:21 14s opencompl:ushiftRight
opencompl:ushiftRight
November 7, 2024 23:21 14s
Theorems for ushiftRight Check PR body for changelog convention #20: Pull request #6004 opened by mhk119
November 7, 2024 23:17 15s opencompl:ushiftRight
opencompl:ushiftRight
November 7, 2024 23:17 15s
feat: decide +revert and improvements to native_decide Check PR body for changelog convention #19: Pull request #5999 labeled by kmill
November 7, 2024 22:58 10s kmill:decide_revert
kmill:decide_revert
November 7, 2024 22:58 10s
chore: CI: exempt drafts from PR body check Check PR body for changelog convention #18: Pull request #6002 labeled by Kha
November 7, 2024 21:19 11s pr-template-draft
pr-template-draft
November 7, 2024 21:19 11s
chore: CI: exempt drafts from PR body check Check PR body for changelog convention #17: Pull request #6002 opened by Kha
November 7, 2024 21:19 11s pr-template-draft
pr-template-draft
November 7, 2024 21:19 11s
Check PR body for changelog convention Check PR body for changelog convention #16: Merge group checks requested
November 7, 2024 21:15 59s
November 7, 2024 21:15 59s
chore: revert "CI: give Linux Debug unlimited test stack size" Check PR body for changelog convention #15: Pull request #6001 opened by Kha
November 7, 2024 20:58 10s revert-5953-push-nrlzsxrlotns
revert-5953-push-nrlzsxrlotns
November 7, 2024 20:58 10s
feat: message kinds Check PR body for changelog convention #14: Pull request #5945 synchronize by tydeu
November 7, 2024 19:58 10s tydeu:message-kinds
tydeu:message-kinds
November 7, 2024 19:58 10s
feat: decide +revert and improvements to native_decide Check PR body for changelog convention #13: Pull request #5999 labeled by leanprover-community-bot
November 7, 2024 19:10 37s kmill:decide_revert
kmill:decide_revert
November 7, 2024 19:10 37s
feat: decide +revert and improvements to native_decide Check PR body for changelog convention #12: Pull request #5999 synchronize by kmill
November 7, 2024 18:15 16s kmill:decide_revert
kmill:decide_revert
November 7, 2024 18:15 16s
feat: omega to abstract its own proofs Check PR body for changelog convention #11: Pull request #5998 labeled by leanprover-community-bot
November 7, 2024 18:15 10s joachim/omega-abstract-proofs
joachim/omega-abstract-proofs
November 7, 2024 18:15 10s
feat: decide +revert and improvements to native_decide Check PR body for changelog convention #10: Pull request #5999 edited by kmill
November 7, 2024 17:50 13s kmill:decide_revert
kmill:decide_revert
November 7, 2024 17:50 13s
feat: decide +revert and improvements to native_decide Check PR body for changelog convention #9: Pull request #5999 synchronize by kmill
November 7, 2024 17:47 10s kmill:decide_revert
kmill:decide_revert
November 7, 2024 17:47 10s
refactor: getUnfoldableConst*? Check PR body for changelog convention #8: Pull request #5997 labeled by leanprover-community-bot
November 7, 2024 17:43 6s Kha:push-xqpvqmqwlqxp
Kha:push-xqpvqmqwlqxp
November 7, 2024 17:43 6s
feat: omega to abstract its own proofs Check PR body for changelog convention #7: Pull request #5998 labeled by nomeata
November 7, 2024 17:39 28s joachim/omega-abstract-proofs
joachim/omega-abstract-proofs
November 7, 2024 17:39 28s
feat: decide +revert and improvements to native_decide Check PR body for changelog convention #6: Pull request #5999 opened by kmill
November 7, 2024 17:38 10s kmill:decide_revert
kmill:decide_revert
November 7, 2024 17:38 10s
feat: omega to abstract its own proofs Check PR body for changelog convention #5: Pull request #5998 opened by nomeata
November 7, 2024 17:35 12s joachim/omega-abstract-proofs
joachim/omega-abstract-proofs
November 7, 2024 17:35 12s
Check PR body for changelog convention Check PR body for changelog convention #4: Merge group checks requested
November 7, 2024 17:00 12s
November 7, 2024 17:00 12s
chore: new PR changelog template Check PR body for changelog convention #3: Pull request #5976 synchronize by Kha
November 7, 2024 16:34 10s Kha:pr-changelog
Kha:pr-changelog
November 7, 2024 16:34 10s
chore: new PR changelog template Check PR body for changelog convention #2: Pull request #5976 labeled by leanprover-community-bot
November 6, 2024 16:13 8s Kha:pr-changelog
Kha:pr-changelog
November 6, 2024 16:13 8s
ProTip! You can narrow down the results and go further in time using created:<2024-11-06 or the other filters available.