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
3,770 workflow runs
3,770 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: runtime primitives for mpz objects Check PR body for changelog convention #2195: Pull request #6395 synchronize by tydeu
December 16, 2024 02:43 11s tydeu:lean-mpz-primitives
tydeu:lean-mpz-primitives
December 16, 2024 02:43 11s
feat: runtime primitives for mpz objects Check PR body for changelog convention #2194: Pull request #6395 synchronize by tydeu
December 16, 2024 02:42 10s tydeu:lean-mpz-primitives
tydeu:lean-mpz-primitives
December 16, 2024 02:42 10s
feat: runtime primitives for mpz objects Check PR body for changelog convention #2193: Pull request #6395 synchronize by tydeu
December 16, 2024 02:41 11s tydeu:lean-mpz-primitives
tydeu:lean-mpz-primitives
December 16, 2024 02:41 11s
feat: runtime primitives for mpz objects Check PR body for changelog convention #2192: Pull request #6395 opened by tydeu
December 16, 2024 02:28 13s tydeu:lean-mpz-primitives
tydeu:lean-mpz-primitives
December 16, 2024 02:28 13s
feat: improved export command, namespace aliases Check PR body for changelog convention #2191: Pull request #6393 edited by kmill
December 15, 2024 22:58 7s kmill:export_ns
kmill:export_ns
December 15, 2024 22:58 7s
feat: improved export command, namespace aliases Check PR body for changelog convention #2190: Pull request #6393 labeled by leanprover-community-bot
December 15, 2024 22:40 10s kmill:export_ns
kmill:export_ns
December 15, 2024 22:40 10s
feat: improved export command, namespace aliases Check PR body for changelog convention #2189: Pull request #6393 edited by kmill
December 15, 2024 22:12 7s kmill:export_ns
kmill:export_ns
December 15, 2024 22:12 7s
feat: improved export command, namespace aliases Check PR body for changelog convention #2188: Pull request #6393 edited by kmill
December 15, 2024 22:12 12s kmill:export_ns
kmill:export_ns
December 15, 2024 22:12 12s
feat: improved export command, namespace aliases Check PR body for changelog convention #2187: Pull request #6393 edited by kmill
December 15, 2024 22:12 9s kmill:export_ns
kmill:export_ns
December 15, 2024 22:12 9s
feat: improved export command, namespace aliases Check PR body for changelog convention #2186: Pull request #6393 opened by kmill
December 15, 2024 22:11 14s kmill:export_ns
kmill:export_ns
December 15, 2024 22:11 14s
feat: improved export command, namespace aliases Check PR body for changelog convention #2185: Pull request #6393 labeled by kmill
December 15, 2024 22:11 9s kmill:export_ns
kmill:export_ns
December 15, 2024 22:11 9s
Check PR body for changelog convention Check PR body for changelog convention #2184: Merge group checks requested
December 15, 2024 21:38 12s
December 15, 2024 21:38 12s
Check PR body for changelog convention Check PR body for changelog convention #2183: Merge group checks requested
December 15, 2024 21:36 10s
December 15, 2024 21:36 10s
Check PR body for changelog convention Check PR body for changelog convention #2182: Merge group checks requested
December 15, 2024 21:35 13s
December 15, 2024 21:35 13s
feat: verify insertMany method for adding lists to HashMaps Check PR body for changelog convention #2181: Pull request #6211 synchronize by jt0202
December 15, 2024 19:18 13s monsterkrampe:hashMap-insertList
monsterkrampe:hashMap-insertList
December 15, 2024 19:18 13s
feat: LLVM 15 -> 19 Check PR body for changelog convention #2180: Pull request #6063 synchronize by hargoniX
December 15, 2024 12:31 9s llvm19
llvm19
December 15, 2024 12:31 9s
Check PR body for changelog convention Check PR body for changelog convention #2179: Merge group checks requested
December 15, 2024 11:33 13s
December 15, 2024 11:33 13s
chore: require 0 < Range.step Check PR body for changelog convention #2178: Pull request #6391 synchronize by kim-em
December 15, 2024 11:20 11s range_step_pos
range_step_pos
December 15, 2024 11:20 11s
Check PR body for changelog convention Check PR body for changelog convention #2177: Merge group checks requested
December 15, 2024 10:55 8s
December 15, 2024 10:55 8s
chore: require 0 < Range.step Check PR body for changelog convention #2176: Pull request #6391 synchronize by kim-em
December 15, 2024 10:36 10s range_step_pos
range_step_pos
December 15, 2024 10:36 10s
chore: require 0 < Range.step Check PR body for changelog convention #2175: Pull request #6391 synchronize by kim-em
December 15, 2024 10:34 10s range_step_pos
range_step_pos
December 15, 2024 10:34 10s
feat: redefine Range.forIn' Check PR body for changelog convention #2174: Pull request #6390 labeled by leanprover-community-bot
December 15, 2024 10:16 12s range_forin
range_forin
December 15, 2024 10:16 12s
Check PR body for changelog convention Check PR body for changelog convention #2173: Merge group checks requested
December 15, 2024 09:48 12s
December 15, 2024 09:48 12s
Check PR body for changelog convention Check PR body for changelog convention #2172: Merge group checks requested
December 15, 2024 08:22 11s
December 15, 2024 08:22 11s
feat: redefine Range.forIn' Check PR body for changelog convention #2171: Pull request #6390 labeled by leanprover-community-bot
December 15, 2024 07:51 9s range_forin
range_forin
December 15, 2024 07:51 9s
ProTip! You can narrow down the results and go further in time using created:<2024-12-15 or the other filters available.