All workflows

Showing runs from all workflows

1597 workflow runs

Use upstreamed HasCondDistrib definition
cancelled:
Compile blueprint#700:Pull request#146synchronizebyRemyDegenne
cleanup
Jun 20, 20262m 16s
Use upstreamed HasCondDistrib definition
completed successfully:
Compile blueprint#699:Pull request#146synchronizebyRemyDegenne
cleanup
Jun 20, 202610m 36s
Use upstreamed HasCondDistrib definition
completed successfully:
Compile blueprint#698:Pull request#146synchronizebyRemyDegenne
cleanup
Jun 20, 202612m 14s
Use upstreamed HasCondDistrib definition
completed successfully:
Compile blueprint#697:Pull request#146openedbyRemyDegenne
cleanup
Jun 20, 202613m 12s
Update Dependencies
completed successfully:
Update Dependencies#49:Scheduled
main
Jun 20, 202612s
Bump mathlib dependency to 6eb4a1c (#145)
completed successfully:
Compile blueprint#696:Commitb22ada5pushedbyRemyDegenne
main
Jun 20, 202659m 36s
Bump mathlib dependency to 6eb4a1c
completed successfully:
Compile blueprint#695:Pull request#145synchronizebygithub-actions[bot]Bot
hopscotch/lkg-bump
Jun 20, 202615m 15s
Update Dependencies
completed successfully:
Update Dependencies#48:Scheduled
main
Jun 20, 20263m 34s
Update Dependencies
completed successfully:
Update Dependencies#47:Scheduled
main
Jun 20, 202611s
Update Dependencies
completed successfully:
Update Dependencies#46:Scheduled
main
Jun 19, 20263m 23s
bump verso (#144)
completed successfully:
Compile blueprint#693:Commit950bd44pushedbyRemyDegenne
main
Jun 19, 20261h 1m 28s
bump verso
completed successfully:
Compile blueprint#692:Pull request#144openedbyRemyDegenne
bump
Jun 19, 202615m 19s
Bump mathlib dependency to 39ca77e (#143)
failed:
Compile blueprint#691:Commit6fca809pushedbyRemyDegenne
main
Jun 19, 202613m 8s
Bump mathlib dependency to 39ca77e (#143)
completed successfully:
Create Release#14:Commit6fca809pushedbyRemyDegenne
main
Jun 19, 202610s
Update Dependencies
completed successfully:
Update Dependencies#45:Scheduled
main
Jun 19, 202614s
Update Dependencies
completed successfully:
Update Dependencies#44:Scheduled
main
Jun 19, 20263m 45s
Update Dependencies
completed successfully:
Update Dependencies#43:Scheduled
main
Jun 19, 20269s
Bump mathlib dependency to fbf0644 (#142)
completed successfully:
Compile blueprint#689:Commit3709462pushedbyRemyDegenne
main
Jun 18, 20261h 0m 25s
Bump mathlib dependency to fbf0644
completed successfully:
Compile blueprint#688:Pull request#142openedbygithub-actions[bot]Bot
hopscotch/lkg-bump
Jun 18, 202613m 40s
Update Dependencies
completed successfully:
Update Dependencies#42:Scheduled
main
Jun 18, 20263m 43s
Update Dependencies
completed successfully:
Update Dependencies#41:Scheduled
main
Jun 18, 202618s
Bayesian regret of Thompson sampling (#61)
completed successfully:
Compile blueprint#687:Commit873ff97pushedbyRemyDegenne
main
Jun 18, 20261h 5m 52s
Stochastic gradient descent
failed:
Compile blueprint#686:Pull request#103synchronizebyRemyDegenne
sgd
Jun 18, 20264m 55s
Bayesian regret of Thompson sampling
completed successfully:
Compile blueprint#685:Pull request#61synchronizebypaulorauber
paulorauber:bayesian_space
Jun 18, 202613m 33s
Stochastic gradient descent
failed:
Compile blueprint#684:Pull request#103synchronizebyRemyDegenne
sgd
Jun 18, 20264m 29s

Navigation Menu

All workflows

1597 workflow runs

Use upstreamed `HasCondDistrib` definition

Use upstreamed `HasCondDistrib` definition

Use upstreamed `HasCondDistrib` definition

Use upstreamed `HasCondDistrib` definition

Update Dependencies

Bump `mathlib` dependency to 6eb4a1c (#145)

Bump `mathlib` dependency to 6eb4a1c

Update Dependencies

Update Dependencies

Update Dependencies

bump verso (#144)

bump verso

Bump `mathlib` dependency to 39ca77e (#143)

Bump `mathlib` dependency to 39ca77e (#143)

Update Dependencies

Update Dependencies

Update Dependencies

Bump `mathlib` dependency to fbf0644 (#142)

Bump `mathlib` dependency to fbf0644

Update Dependencies

Update Dependencies

Bayesian regret of Thompson sampling (#61)

Stochastic gradient descent

Bayesian regret of Thompson sampling

Stochastic gradient descent

ProTip! You can narrow down the results and go further in time using the filter or the other filters available.

Workflow runs

1597 workflow runs

ProTip! You can narrow down the results and go further in time using the created: filter or the other filters available.

ProTip! You can narrow down the results and go further in time using the filter or the other filters available.