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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: HashMap.toList_map_fst Check PR body for changelog convention #1204: Pull request #6232 opened by kim-em
November 27, 2024 03:33 12s toList_map_fst
toList_map_fst
November 27, 2024 03:33 12s
feat: lake: detailed Reservoir fetch error Check PR body for changelog convention #1203: Pull request #6231 labeled by leanprover-community-bot
November 27, 2024 03:31 13s tydeu:lake/reservoir-fetch-error
tydeu:lake/reservoir-fetch-error
November 27, 2024 03:31 13s
feat: lake: detailed Reservoir fetch error Check PR body for changelog convention #1202: Pull request #6231 ready_for_review by tydeu
November 27, 2024 02:56 9s tydeu:lake/reservoir-fetch-error
tydeu:lake/reservoir-fetch-error
November 27, 2024 02:56 9s
feat: lake: detailed Reservoir fetch error Check PR body for changelog convention #1201: Pull request #6231 opened by tydeu
November 27, 2024 02:24 12s tydeu:lake/reservoir-fetch-error
tydeu:lake/reservoir-fetch-error
November 27, 2024 02:24 12s
feat: lake: detailed Reservoir fetch error Check PR body for changelog convention #1200: Pull request #6231 labeled by tydeu
November 27, 2024 02:24 10s tydeu:lake/reservoir-fetch-error
tydeu:lake/reservoir-fetch-error
November 27, 2024 02:24 10s
Check PR body for changelog convention Check PR body for changelog convention #1199: Merge group checks requested
November 27, 2024 02:10 9s
November 27, 2024 02:10 9s
feat: Array fold lemmas Check PR body for changelog convention #1198: Pull request #6230 edited by kim-em
November 27, 2024 02:09 7s array_list_fold
array_list_fold
November 27, 2024 02:09 7s
feat: Array fold lemmas Check PR body for changelog convention #1197: Pull request #6230 opened by kim-em
November 27, 2024 01:44 13s array_list_fold
array_list_fold
November 27, 2024 01:44 13s
feat: Array fold lemmas Check PR body for changelog convention #1196: Pull request #6230 labeled by kim-em
November 27, 2024 01:44 13s array_list_fold
array_list_fold
November 27, 2024 01:44 13s
Check PR body for changelog convention Check PR body for changelog convention #1195: Merge group checks requested
November 27, 2024 00:53 12s
November 27, 2024 00:53 12s
fix: propagate Simp.Config when reducing terms and checking definitional equality in simp Check PR body for changelog convention #1194: Pull request #6123 synchronize by kim-em
November 27, 2024 00:19 9s zetaPropagation
zetaPropagation
November 27, 2024 00:19 9s
Check PR body for changelog convention Check PR body for changelog convention #1193: Merge group checks requested
November 26, 2024 23:42 11s
November 26, 2024 23:42 11s
Check PR body for changelog convention Check PR body for changelog convention #1192: Merge group checks requested
November 26, 2024 23:42 10s
November 26, 2024 23:42 10s
feat: abbrev produces theorems where appropriate Check PR body for changelog convention #1191: Pull request #6083 edited by kim-em
November 26, 2024 23:14 9s abbrev_thm
abbrev_thm
November 26, 2024 23:14 9s
Check PR body for changelog convention Check PR body for changelog convention #1190: Merge group checks requested
November 26, 2024 22:11 15s
November 26, 2024 22:11 15s
fix: lake: eager logging when materializing deps Check PR body for changelog convention #1189: Pull request #6225 edited by tydeu
November 26, 2024 22:11 8s tydeu:lake/materializeDeps-loggerIO
tydeu:lake/materializeDeps-loggerIO
November 26, 2024 22:11 8s
Check PR body for changelog convention Check PR body for changelog convention #1188: Merge group checks requested
November 26, 2024 22:11 10s
November 26, 2024 22:11 10s
feat: Lean.loadPlugin Check PR body for changelog convention #1187: Pull request #6130 synchronize by tydeu
November 26, 2024 22:06 13s tydeu:lean-load-plugin
tydeu:lean-load-plugin
November 26, 2024 22:06 13s
Check PR body for changelog convention Check PR body for changelog convention #1186: Merge group checks requested
November 26, 2024 21:42 14s
November 26, 2024 21:42 14s
feat: proper let_fun support in simp Check PR body for changelog convention #1185: Pull request #6220 edited by leodemoura
November 26, 2024 20:13 11s letFunSimp
letFunSimp
November 26, 2024 20:13 11s
feat: proper let_fun support in simp Check PR body for changelog convention #1184: Pull request #6220 ready_for_review by leodemoura
November 26, 2024 20:13 10s letFunSimp
letFunSimp
November 26, 2024 20:13 10s
feat: proper let_fun support in simp Check PR body for changelog convention #1183: Pull request #6220 synchronize by leodemoura
November 26, 2024 20:13 12s letFunSimp
letFunSimp
November 26, 2024 20:13 12s
feat: GitHub cloud releases do not clobber prebuilt artifacts Check PR body for changelog convention #1182: Pull request #6218 ready_for_review by tydeu
November 26, 2024 19:54 8s tydeu:lake/cache-no-clobber
tydeu:lake/cache-no-clobber
November 26, 2024 19:54 8s
fix: lake: eager logging when materializing deps Check PR body for changelog convention #1181: Pull request #6225 ready_for_review by tydeu
November 26, 2024 19:53 9s tydeu:lake/materializeDeps-loggerIO
tydeu:lake/materializeDeps-loggerIO
November 26, 2024 19:53 9s
feat: verify insertMany method for adding lists to HashMaps Check PR body for changelog convention #1180: Pull request #6211 synchronize by jt0202
November 26, 2024 19:49 11s monsterkrampe:hashMap-insertList
monsterkrampe:hashMap-insertList
November 26, 2024 19:49 11s
ProTip! You can narrow down the results and go further in time using created:<2024-11-26 or the other filters available.