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
Remove an import Mathlib (#70) Compile blueprint #321: Commit dc54fd5 pushed by RemyDegenne
50m 0s main
main
50m 0s
Remove an import Mathlib Compile blueprint #320: Pull request #70 opened by RemyDegenne
7m 2s bump
bump
7m 2s
Update dependencies (#69) Create Release #9: Commit aa10cc3 pushed by RemyDegenne
8s main
main
8s
Update dependencies (#69) Compile blueprint #319: Commit aa10cc3 pushed by RemyDegenne
17m 19s main
main
17m 19s
Update dependencies Compile blueprint #318: Pull request #69 opened by RemyDegenne
7m 43s bump
bump
7m 43s
A supermartingale built from the sum of rewards Compile blueprint #317: Pull request #67 synchronize by RemyDegenne
7m 6s adapted
adapted
7m 6s
Prove that several processes are adapted/predictable (#68) Compile blueprint #316: Commit 71cebe2 pushed by RemyDegenne
6m 16s main
main
6m 16s
Prove that several processes are adapted/predictable Compile blueprint #315: Pull request #68 synchronize by RemyDegenne
8m 36s adapted_aux
adapted_aux
8m 36s
Bayesian regret of Thompson sampling Compile blueprint #314: Pull request #61 synchronize by paulorauber
8m 9s paulorauber:bayesian_space
paulorauber:bayesian_space
8m 9s
Prove that several processes are adapted/predictable Compile blueprint #313: Pull request #68 opened by RemyDegenne
7m 14s adapted_aux
adapted_aux
7m 14s
Bayesian regret of Thompson sampling Compile blueprint #312: Pull request #61 synchronize by paulorauber
7m 22s paulorauber:bayesian_space
paulorauber:bayesian_space
7m 22s
Bayesian regret of Thompson sampling Compile blueprint #311: Pull request #61 synchronize by paulorauber
6m 44s paulorauber:bayesian_space
paulorauber:bayesian_space
6m 44s
Bayesian regret of Thompson sampling Compile blueprint #310: Pull request #61 synchronize by paulorauber
7m 12s paulorauber:bayesian_space
paulorauber:bayesian_space
7m 12s
Bayesian regret of Thompson sampling Compile blueprint #309: Pull request #61 synchronize by paulorauber
1m 54s paulorauber:bayesian_space
paulorauber:bayesian_space
1m 54s
Bayesian regret of Thompson sampling Compile blueprint #308: Pull request #61 synchronize by paulorauber
8m 34s paulorauber:bayesian_space
paulorauber:bayesian_space
8m 34s
A supermartingale built from the sum of rewards Compile blueprint #307: Pull request #67 opened by RemyDegenne
7m 43s adapted
adapted
7m 43s
Add round-robin algorithm and refactor ETC and UCB (#66) Compile blueprint #306: Commit 42db1e9 pushed by RemyDegenne
1h 59m 15s main
main
1h 59m 15s
Add round-robin algorithm and refactor ETC and UCB Compile blueprint #305: Pull request #66 synchronize by RemyDegenne
7m 56s roundRobin
roundRobin
7m 56s
Add round-robin algorithm and refactor ETC and UCB Compile blueprint #304: Pull request #66 synchronize by RemyDegenne
8m 22s roundRobin
roundRobin
8m 22s
Cleanup (#65) Compile blueprint #303: Commit c707a2e pushed by RemyDegenne
1h 14m 37s main
main
1h 14m 37s
Add round-robin algorithm and refactor ETC and UCB Compile blueprint #302: Pull request #66 synchronize by RemyDegenne
7m 40s roundRobin
roundRobin
7m 40s
Add round-robin algorithm and refactor ETC and UCB Compile blueprint #301: Pull request #66 synchronize by RemyDegenne
7m 42s roundRobin
roundRobin
7m 42s
Add round-robin algorithm and refactor ETC and UCB Compile blueprint #300: Pull request #66 synchronize by RemyDegenne
3m 25s roundRobin
roundRobin
3m 25s
Add round-robin algorithm and refactor ETC and UCB Compile blueprint #299: Pull request #66 opened by RemyDegenne
8m 49s roundRobin
roundRobin
8m 49s
Cleanup Compile blueprint #298: Pull request #65 opened by RemyDegenne
8m 16s cleanup
cleanup
8m 16s
ProTip! You can narrow down the results and go further in time using created:<2026-01-22 or the other filters available.