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 date and time functionality Check PR body for changelog convention #51: Pull request #4904 labeled by TwoFX
November 8, 2024 10:20 9s algebraic-dev:master
algebraic-dev:master
November 8, 2024 10:20 9s
feat: change bv_decide to an elaborated config Check PR body for changelog convention #50: Pull request #6010 labeled by hargoniX
November 8, 2024 10:18 9s hbv/bv_decide_config
hbv/bv_decide_config
November 8, 2024 10:18 9s
feat: change bv_decide to an elaborated config Check PR body for changelog convention #49: Pull request #6010 edited by hargoniX
November 8, 2024 10:17 6s hbv/bv_decide_config
hbv/bv_decide_config
November 8, 2024 10:17 6s
feat: change bv_decide to an elaborated config Check PR body for changelog convention #48: Pull request #6010 opened by hargoniX
November 8, 2024 10:17 10s hbv/bv_decide_config
hbv/bv_decide_config
November 8, 2024 10:17 10s
doc: fix typo and make docstring more precise Check PR body for changelog convention #47: Pull request #6009 labeled by leanprover-community-bot
November 8, 2024 09:06 13s david-christiansen:prec-docstring-typo
david-christiansen:prec-docstring-typo
November 8, 2024 09:06 13s
doc: fix typo and make docstring more precise Check PR body for changelog convention #46: Pull request #6009 opened by david-christiansen
November 8, 2024 08:04 12s david-christiansen:prec-docstring-typo
david-christiansen:prec-docstring-typo
November 8, 2024 08:04 12s
Check PR body for changelog convention Check PR body for changelog convention #45: Merge group checks requested
November 8, 2024 07:25 10s
November 8, 2024 07:25 10s
feat: verify keys method on HashMaps Check PR body for changelog convention #44: Pull request #5866 synchronize by jt0202
November 8, 2024 07:03 11s monsterkrampe:hashmap-keys
monsterkrampe:hashmap-keys
November 8, 2024 07:03 11s
Check PR body for changelog convention Check PR body for changelog convention #43: Merge group checks requested
November 8, 2024 06:54 7s
November 8, 2024 06:54 7s
feat: verify keys method on HashMaps Check PR body for changelog convention #42: Pull request #5866 synchronize by jt0202
November 8, 2024 06:47 7s monsterkrampe:hashmap-keys
monsterkrampe:hashmap-keys
November 8, 2024 06:47 7s
chore: missing @[ext] attribute on monad transformer ext lemmas Check PR body for changelog convention #41: Pull request #6008 synchronize by kim-em
November 8, 2024 06:31 17s monad_ext
monad_ext
November 8, 2024 06:31 17s
feat: verify keys method on HashMaps Check PR body for changelog convention #40: Pull request #5866 edited by TwoFX
November 8, 2024 06:13 14s monsterkrampe:hashmap-keys
monsterkrampe:hashmap-keys
November 8, 2024 06:13 14s
feat: verify keys method on HashMaps Check PR body for changelog convention #39: Pull request #5866 labeled by TwoFX
November 8, 2024 06:10 1m 15s monsterkrampe:hashmap-keys
monsterkrampe:hashmap-keys
November 8, 2024 06:10 1m 15s
feat: verify keys method on HashMaps Check PR body for changelog convention #38: Pull request #5866 edited by TwoFX
November 8, 2024 06:10 7s monsterkrampe:hashmap-keys
monsterkrampe:hashmap-keys
November 8, 2024 06:10 7s
chore: missing @[ext] attribute on monad transformer ext lemmas Check PR body for changelog convention #37: Pull request #6008 opened by kim-em
November 8, 2024 05:49 8s monad_ext
monad_ext
November 8, 2024 05:49 8s
feat: verify keys method on HashMaps Check PR body for changelog convention #36: Pull request #5866 synchronize by monsterkrampe
November 8, 2024 05:39 11s monsterkrampe:hashmap-keys
monsterkrampe:hashmap-keys
November 8, 2024 05:39 11s
feat: verify keys method on HashMaps Check PR body for changelog convention #35: Pull request #5866 synchronize by monsterkrampe
November 8, 2024 05:32 12s monsterkrampe:hashmap-keys
monsterkrampe:hashmap-keys
November 8, 2024 05:32 12s
feat: add date and time functionality Check PR body for changelog convention #34: Pull request #4904 synchronize by algebraic-dev
November 8, 2024 03:53 10s algebraic-dev:master
algebraic-dev:master
November 8, 2024 03:53 10s
feat: add date and time functionality Check PR body for changelog convention #33: Pull request #4904 synchronize by algebraic-dev
November 8, 2024 03:42 1m 23s algebraic-dev:master
algebraic-dev:master
November 8, 2024 03:42 1m 23s
feat: add date and time functionality Check PR body for changelog convention #32: Pull request #4904 labeled by algebraic-dev
November 8, 2024 03:39 6s algebraic-dev:master
algebraic-dev:master
November 8, 2024 03:39 6s
feat: add date and time functionality Check PR body for changelog convention #31: Pull request #4904 synchronize by algebraic-dev
November 8, 2024 03:34 17s algebraic-dev:master
algebraic-dev:master
November 8, 2024 03:34 17s
feat: add date and time functionality Check PR body for changelog convention #30: Pull request #4904 synchronize by algebraic-dev
November 8, 2024 03:27 10s algebraic-dev:master
algebraic-dev:master
November 8, 2024 03:27 10s
Check PR body for changelog convention Check PR body for changelog convention #29: Merge group checks requested
November 8, 2024 02:42 7s
November 8, 2024 02:42 7s
feat: decide +revert and improvements to native_decide Check PR body for changelog convention #28: Pull request #5999 synchronize by kmill
November 8, 2024 02:25 11s kmill:decide_revert
kmill:decide_revert
November 8, 2024 02:25 11s
chore: List.modifyTailIdx naming fix Check PR body for changelog convention #27: Pull request #6007 synchronize by kim-em
November 8, 2024 02:21 13s modifyTailIdx_naming
modifyTailIdx_naming
November 8, 2024 02:21 13s
ProTip! You can narrow down the results and go further in time using created:<2024-11-08 or the other filters available.