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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: add date and time functionality Check PR body for changelog convention #105: Pull request #4904 synchronize by algebraic-dev
November 8, 2024 22:33 13s algebraic-dev:master
algebraic-dev:master
November 8, 2024 22:33 13s
chore: remove decide! tactic Check PR body for changelog convention #104: Pull request #6016 opened by kmill
November 8, 2024 21:57 10s kmill:remove_decide_bank
kmill:remove_decide_bank
November 8, 2024 21:57 10s
chore: remove decide! tactic Check PR body for changelog convention #103: Pull request #6016 labeled by kmill
November 8, 2024 21:57 10s kmill:remove_decide_bank
kmill:remove_decide_bank
November 8, 2024 21:57 10s
feat: message kinds Check PR body for changelog convention #102: Pull request #5945 edited by tydeu
November 8, 2024 21:52 8s tydeu:message-kinds
tydeu:message-kinds
November 8, 2024 21:52 8s
feat: message kinds Check PR body for changelog convention #101: Pull request #5945 labeled by tydeu
November 8, 2024 21:51 7s tydeu:message-kinds
tydeu:message-kinds
November 8, 2024 21:51 7s
feat: message kinds Check PR body for changelog convention #100: Pull request #5945 labeled by tydeu
November 8, 2024 21:51 8s tydeu:message-kinds
tydeu:message-kinds
November 8, 2024 21:51 8s
Check PR body for changelog convention Check PR body for changelog convention #99: Merge group checks requested
November 8, 2024 20:57 10s
November 8, 2024 20:57 10s
Check PR body for changelog convention Check PR body for changelog convention #98: Merge group checks requested
November 8, 2024 18:18 7s
November 8, 2024 18:18 7s
Check PR body for changelog convention Check PR body for changelog convention #97: Merge group checks requested
November 8, 2024 18:18 10s
November 8, 2024 18:18 10s
fix: avoid delaborating with field notation if object is a metavariable Check PR body for changelog convention #96: Pull request #6014 labeled by leanprover-community-bot
November 8, 2024 18:06 9s kmill:fix_5993
kmill:fix_5993
November 8, 2024 18:06 9s
feat: decide +revert and improvements to native_decide Check PR body for changelog convention #95: Pull request #5999 synchronize by kmill
November 8, 2024 17:09 11s kmill:decide_revert
kmill:decide_revert
November 8, 2024 17:09 11s
fix: avoid delaborating with field notation if object is a metavariable Check PR body for changelog convention #94: Pull request #6014 synchronize by kmill
November 8, 2024 17:05 10s kmill:fix_5993
kmill:fix_5993
November 8, 2024 17:05 10s
fix: avoid delaborating with field notation if object is a metavariable Check PR body for changelog convention #93: Pull request #6014 opened by kmill
November 8, 2024 16:58 11s kmill:fix_5993
kmill:fix_5993
November 8, 2024 16:58 11s
fix: avoid delaborating with field notation if object is a metavariable Check PR body for changelog convention #92: Pull request #6014 labeled by kmill
November 8, 2024 16:58 10s kmill:fix_5993
kmill:fix_5993
November 8, 2024 16:58 10s
feat: prop instance yields theorems Check PR body for changelog convention #91: Pull request #5856 labeled by kmill
November 8, 2024 16:41 10s kmill:fix_672
kmill:fix_672
November 8, 2024 16:41 10s
feat: prop instance yields theorems Check PR body for changelog convention #90: Pull request #5856 edited by kmill
November 8, 2024 16:40 7s kmill:fix_672
kmill:fix_672
November 8, 2024 16:40 7s
feat: prop instance yields theorems Check PR body for changelog convention #89: Pull request #5856 synchronize by kmill
November 8, 2024 16:39 7s kmill:fix_672
kmill:fix_672
November 8, 2024 16:39 7s
feat: prop instance yields theorems Check PR body for changelog convention #88: Pull request #5856 synchronize by kmill
November 8, 2024 16:38 11s kmill:fix_672
kmill:fix_672
November 8, 2024 16:38 11s
Check PR body for changelog convention Check PR body for changelog convention #87: Merge group checks requested
November 8, 2024 16:27 3m 12s
November 8, 2024 16:27 3m 12s
feat: split Lean.Kernel.Environment from Lean.Environment Check PR body for changelog convention #86: Pull request #5145 labeled by leanprover-community-bot
November 8, 2024 16:25 1m 38s Kha:kernel-env
Kha:kernel-env
November 8, 2024 16:25 1m 38s
Check PR body for changelog convention Check PR body for changelog convention #85: Merge group checks requested
November 8, 2024 15:54 1m 24s
November 8, 2024 15:54 1m 24s
feat: split Lean.Kernel.Environment from Lean.Environment Check PR body for changelog convention #84: Pull request #5145 labeled by Kha
November 8, 2024 15:52 11s Kha:kernel-env
Kha:kernel-env
November 8, 2024 15:52 11s
feat: split Lean.Kernel.Environment from Lean.Environment Check PR body for changelog convention #83: Pull request #5145 edited by Kha
November 8, 2024 15:52 13s Kha:kernel-env
Kha:kernel-env
November 8, 2024 15:52 13s
feat: split Lean.Kernel.Environment from Lean.Environment Check PR body for changelog convention #82: Pull request #5145 synchronize by Kha
November 8, 2024 15:51 9s Kha:kernel-env
Kha:kernel-env
November 8, 2024 15:51 9s
feat: split Lean.Kernel.Environment from Lean.Environment Check PR body for changelog convention #81: Pull request #5145 synchronize by Kha
November 8, 2024 15:44 10s Kha:kernel-env
Kha:kernel-env
November 8, 2024 15:44 10s
ProTip! You can narrow down the results and go further in time using created:<2024-11-08 or the other filters available.