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
Bump leanprover/lean-action from 1.4.0 to 1.5.0 (#93) Compile blueprint #454: Commit 55338ed pushed by RemyDegenne
27s main
main
27s
Change links to adapt to the repository name change Compile blueprint #453: Pull request #96 synchronize by RemyDegenne
11m 58s nameChange
nameChange
11m 58s
Change links to adapt to the repository name change Compile blueprint #452: Pull request #96 synchronize by RemyDegenne
7m 6s nameChange
nameChange
7m 6s
Change links to adapt to the repository name change Compile blueprint #451: Pull request #96 opened by RemyDegenne
1m 50s nameChange
nameChange
1m 50s
Compile blueprint Compile blueprint #450: Manually run by RemyDegenne
10m 17s main
main
10m 17s
Bump actions/deploy-pages from 4.0.5 to 5.0.0 Compile blueprint #449: Pull request #95 opened by dependabot Bot
12m 12s dependabot/github_actions/actions/deploy-pages-5.0.0
dependabot/github_actions/actions/deploy-pages-5.0.0
12m 12s
Bump actions/upload-pages-artifact from 3.0.1 to 5.0.0 Compile blueprint #448: Pull request #94 opened by dependabot Bot
11m 23s dependabot/github_actions/actions/upload-pages-artifact-5.0.0
dependabot/github_actions/actions/upload-pages-artifact-5.0.0
11m 23s
Bump leanprover/lean-action from 1.4.0 to 1.5.0 Compile blueprint #447: Pull request #93 opened by dependabot Bot
11m 6s dependabot/github_actions/leanprover/lean-action-1.5.0
dependabot/github_actions/leanprover/lean-action-1.5.0
11m 6s
Bump actions/github-script from 8 to 9 Compile blueprint #446: Pull request #92 opened by dependabot Bot
11m 32s dependabot/github_actions/actions/github-script-9
dependabot/github_actions/actions/github-script-9
11m 32s
github_actions in /. - Update #1334668234 Dependabot Updates #15: by dependabot Bot
40s main
main
40s
Add randomSampling Compile blueprint #445: Pull request #91 opened by gaetanserre
13m 3s gaetanserre:randomSampling
gaetanserre:randomSampling
13m 3s
Add tutorial pages about probability Compile blueprint #444: Pull request #90 opened by RemyDegenne
11m 19s doc
doc
11m 19s
Doc and names for roundRobin (#89) Compile blueprint #443: Commit cbf06d4 pushed by RemyDegenne
2h 1m 11s main
main
2h 1m 11s
Doc and names for roundRobin Compile blueprint #442: Pull request #89 synchronize by RemyDegenne
11m 39s doc
doc
11m 39s
Doc and names for roundRobin Compile blueprint #441: Pull request #89 synchronize by RemyDegenne
11m 43s doc
doc
11m 43s
Doc and names for roundRobin Compile blueprint #440: Pull request #89 synchronize by RemyDegenne
9m 37s doc
doc
9m 37s
Doc and names for roundRobin Compile blueprint #439: Pull request #89 opened by RemyDegenne
2m 37s doc
doc
2m 37s
Bayesian regret of Thompson sampling Compile blueprint #437: Pull request #61 synchronize by RemyDegenne
13m 51s paulorauber:bayesian_space
paulorauber:bayesian_space
13m 51s
Move files to new folders (#88) Compile blueprint #436: Commit 7713ffb pushed by RemyDegenne
1h 38m 17s main
main
1h 38m 17s
Bayesian regret of Thompson sampling Compile blueprint #435: Pull request #61 synchronize by paulorauber
11m 34s paulorauber:bayesian_space
paulorauber:bayesian_space
11m 34s
Add several global optimization algorithms Compile blueprint #434: Pull request #87 synchronize by gaetanserre
12m 10s gaetanserre:opti
gaetanserre:opti
12m 10s
Bayesian regret of Thompson sampling Compile blueprint #433: Pull request #61 synchronize by paulorauber
12m 47s paulorauber:bayesian_space
paulorauber:bayesian_space
12m 47s
Add several global optimization algorithms Compile blueprint #432: Pull request #87 synchronize by gaetanserre
13m 25s gaetanserre:opti
gaetanserre:opti
13m 25s
Add several global optimization algorithms Compile blueprint #431: Pull request #87 synchronize by gaetanserre
2m 13s gaetanserre:opti
gaetanserre:opti
2m 13s
Bayesian regret of Thompson sampling Compile blueprint #430: Pull request #61 synchronize by paulorauber
10m 36s paulorauber:bayesian_space
paulorauber:bayesian_space
10m 36s
ProTip! You can narrow down the results and go further in time using created:<2026-04-14 or the other filters available.