Skip to content

Actions: LeanMachineLearning/LML

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,517 workflow runs
1,517 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
A few simple lemmas from the AlphaRAR project Compile blueprint #945: Pull request #220 synchronize by RemyDegenne
15m 7s alpha_rar
alpha_rar
15m 7s
A few simple lemmas from the AlphaRAR project Compile blueprint #944: Pull request #220 opened by RemyDegenne
4m 30s alpha_rar
alpha_rar
4m 30s
change filtration to take IsAlgEnvSeq Compile blueprint #943: Commit 4830b8c pushed by RemyDegenne
26m 18s main
main
26m 18s
Update Dependencies Update Dependencies #306: Scheduled
15s main
main
15s
Bump mathlib dependency to v4.34.0-rc2 (#219) Compile blueprint #942: Commit 439785b pushed by RemyDegenne
1h 3m 23s main
main
1h 3m 23s
Bump mathlib dependency to v4.34.0-rc2 (#219) Create Release #20: Commit 439785b pushed by RemyDegenne
12s main
main
12s
Update Dependencies Update Dependencies #305: Scheduled
16s main
main
16s
Stochastic gradient descent Compile blueprint #941: Pull request #103 synchronize by RemyDegenne
17m 34s sgd
sgd
17m 34s
Update Dependencies Update Dependencies #304: Scheduled
10s main
main
10s
Update Dependencies Update Dependencies #303: Scheduled
11s main
main
11s
Update Dependencies Update Dependencies #302: Scheduled
11s main
main
11s
Bump mathlib dependency to v4.34.0-rc2 Compile blueprint #940: Pull request #219 synchronize by github-actions Bot
17m 7s hopscotch/lkg-bump
hopscotch/lkg-bump
17m 7s
Update Dependencies Update Dependencies #301: Scheduled
3m 47s main
main
3m 47s
Bump mathlib dependency to v4.34.0-rc2 Compile blueprint #939: Pull request #219 synchronize by github-actions Bot
9m 11s hopscotch/lkg-bump
hopscotch/lkg-bump
9m 11s
Update Dependencies Update Dependencies #300: Scheduled
3m 33s main
main
3m 33s
Update Dependencies Update Dependencies #299: Scheduled
12s main
main
12s
Bump mathlib dependency to v4.34.0-rc2 Compile blueprint #938: Pull request #219 opened by github-actions Bot
18m 11s hopscotch/lkg-bump
hopscotch/lkg-bump
18m 11s
Update Dependencies Update Dependencies #298: Scheduled
3m 57s main
main
3m 57s
Add the kernel_hom tactic (#217) Compile blueprint #937: Commit d54da15 pushed by RemyDegenne
11m 26s main
main
11m 26s
Bump mathlib dependency to 7226ed1 (#218) Compile blueprint #936: Commit eb4e8ca pushed by RemyDegenne
15m 35s main
main
15m 35s
Update Dependencies Update Dependencies #297: Scheduled
9s main
main
9s
Bump mathlib dependency to 7226ed1 Compile blueprint #935: Pull request #218 opened by github-actions Bot
14m 23s hopscotch/lkg-bump
hopscotch/lkg-bump
14m 23s
Update Dependencies Update Dependencies #296: Scheduled
3m 44s main
main
3m 44s
Update Dependencies Update Dependencies #295: Scheduled
14s main
main
14s
Add the kernel_hom tactic Compile blueprint #934: Pull request #217 synchronize by gaetanserre
14m 0s gaetanserre:kernelHom
gaetanserre:kernelHom
14m 0s
ProTip! You can narrow down the results and go further in time using created:<2026-08-20 or the other filters available.