Skip to content

Actions: LeanMachineLearning/LML

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,507 workflow runs
1,507 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
Bump mathlib dependency to aac7f62 Compile blueprint #954: Pull request #222 opened by github-actions Bot
30d 0h 5m 14s hopscotch/lkg-bump
hopscotch/lkg-bump
30d 0h 5m 14s
Update Dependencies Update Dependencies #312: Scheduled
4m 1s main
main
4m 1s
Update Dependencies Update Dependencies #311: Scheduled
11s main
main
11s
Add the LIPO and RankOpt global optimization algorithms Compile blueprint #953: Pull request #216 synchronize by gaetanserre
23m 8s gaetanserre:decision_optimization
gaetanserre:decision_optimization
23m 8s
Add the LIPO and RankOpt global optimization algorithms Compile blueprint #952: Pull request #216 synchronize by gaetanserre
1m 25s gaetanserre:decision_optimization
gaetanserre:decision_optimization
1m 25s
Add the LIPO and RankOpt global optimization algorithms Compile blueprint #951: Pull request #216 synchronize by gaetanserre
55s gaetanserre:decision_optimization
gaetanserre:decision_optimization
55s
Update Dependencies Update Dependencies #310: Scheduled
10s main
main
10s
Stochastic gradient descent Compile blueprint #950: Pull request #103 synchronize by RemyDegenne
13m 16s sgd
sgd
13m 16s
Bump mathlib dependency to cf65d43 (#221) Compile blueprint #949: Commit 39831cc pushed by RemyDegenne
1h 5m 29s main
main
1h 5m 29s
Bump mathlib dependency to cf65d43 Compile blueprint #948: Pull request #221 synchronize by github-actions Bot
16m 59s hopscotch/lkg-bump
hopscotch/lkg-bump
16m 59s
Update Dependencies Update Dependencies #309: Scheduled
3m 7s main
main
3m 7s
Update Dependencies Update Dependencies #308: Scheduled
14s main
main
14s
Bump mathlib dependency to cf65d43 Compile blueprint #947: Pull request #221 opened by github-actions Bot
15m 33s hopscotch/lkg-bump
hopscotch/lkg-bump
15m 33s
Update Dependencies Update Dependencies #307: Scheduled
3m 25s main
main
3m 25s
A few simple lemmas from the AlphaRAR project (#220) Compile blueprint #946: Commit 9fd4a57 pushed by RemyDegenne
26m 23s main
main
26m 23s
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
ProTip! You can narrow down the results and go further in time using created:<2026-08-22 or the other filters available.