All workflows

Showing runs from all workflows

1538 workflow runs

Update Dependencies
completed successfully:
Update Dependencies#32:Scheduled
main
Jun 16, 202620s
Bayesian regret of Thompson sampling
completed successfully:
Compile blueprint#646:Pull request#61synchronizebypaulorauber
paulorauber:bayesian_space
Jun 16, 202614m 58s
Bayesian regret of Thompson sampling
failed:
Compile blueprint#645:Pull request#61synchronizebypaulorauber
paulorauber:bayesian_space
Jun 16, 20263m 27s
Bump mathlib dependency to 94fba23 (#134)
completed successfully:
Compile blueprint#644:Commit241cb97pushedbyRemyDegenne
main
Jun 16, 20261h 0m 40s
Bump mathlib dependency to 94fba23
completed successfully:
Compile blueprint#643:Pull request#134openedbygithub-actions[bot]Bot
hopscotch/lkg-bump
Jun 16, 202615m 42s
Update Dependencies
completed successfully:
Update Dependencies#31:Scheduled
main
Jun 16, 20263m 40s
Bump mathlib dependency to fabf563 (#133)
completed successfully:
Compile blueprint#642:Commit5e3e78dpushedbyRemyDegenne
main
Jun 16, 20261h 2m 40s
Bump mathlib dependency to fabf563 (#133)
completed successfully:
Create Release#13:Commit5e3e78dpushedbyRemyDegenne
main
Jun 16, 202613s
Update Dependencies
completed successfully:
Update Dependencies#30:Scheduled
main
Jun 16, 202615s
Bump mathlib dependency to fabf563
completed successfully:
Compile blueprint#641:Pull request#133openedbygithub-actions[bot]Bot
hopscotch/lkg-bump
Jun 15, 202613m 55s
Update Dependencies
completed successfully:
Update Dependencies#29:Scheduled
main
Jun 15, 20263m 23s
Update Dependencies
completed successfully:
Update Dependencies#28:Scheduled
main
Jun 15, 202614s
Review lemma vs theorem (#132)
completed successfully:
Compile blueprint#638:Commite613eefpushedbyRemyDegenne
main
Jun 15, 202620m 23s
Review lemma vs theorem
completed successfully:
Compile blueprint#637:Pull request#132openedbyRemyDegenne
blueprint
Jun 15, 202614m 50s
Bump mathlib dependency to 261b5e3 (#131)
completed successfully:
Compile blueprint#636:Commitdc678f4pushedbyRemyDegenne
main
Jun 15, 20261h 1m 40s
Update Dependencies
completed successfully:
Update Dependencies#27:Scheduled
main
Jun 15, 20263m 11s
Bump mathlib dependency to 6923f2f (#129)
completed successfully:
Compile blueprint#634:Commitef60c6apushedbyRemyDegenne
main
Jun 15, 20261h 0m 47s
CI tweak (#130)
cancelled:
Compile blueprint#633:Commit11bfee0pushedbyRemyDegenne
main
Jun 15, 202631s
CI tweak
completed successfully:
Compile blueprint#632:Pull request#130openedbyRemyDegenne
blueprint
Jun 15, 202613m 9s
Update Dependencies
completed successfully:
Update Dependencies#26:Scheduled
main
Jun 15, 202619s
Bump mathlib dependency to 6923f2f
completed successfully:
Compile blueprint#631:Pull request#129openedbygithub-actions[bot]Bot
hopscotch/lkg-bump
Jun 14, 202613m 51s
Update Dependencies
completed successfully:
Update Dependencies#25:Scheduled
main
Jun 14, 20263m 9s
Update Dependencies
completed successfully:
Update Dependencies#24:Scheduled
main
Jun 14, 202614s
Bump mathlib dependency to 9e7b1c1 (#128)
completed successfully:
Compile blueprint#630:Commit542b0cdpushedbyRemyDegenne
main
Jun 14, 202651m 14s
Update Dependencies
completed successfully:
Update Dependencies#23:Scheduled
main
Jun 14, 20263m 29s

Navigation Menu

All workflows

1538 workflow runs

Update Dependencies

Bayesian regret of Thompson sampling

Bayesian regret of Thompson sampling

Bump `mathlib` dependency to 94fba23 (#134)

Bump `mathlib` dependency to 94fba23

Update Dependencies

Bump `mathlib` dependency to fabf563 (#133)

Bump `mathlib` dependency to fabf563 (#133)

Update Dependencies

Bump `mathlib` dependency to fabf563

Update Dependencies

Update Dependencies

Review lemma vs theorem (#132)

Review lemma vs theorem

Bump `mathlib` dependency to 261b5e3 (#131)

Update Dependencies

Bump `mathlib` dependency to 6923f2f (#129)

CI tweak (#130)

CI tweak

Update Dependencies

Bump `mathlib` dependency to 6923f2f

Update Dependencies

Update Dependencies

Bump `mathlib` dependency to 9e7b1c1 (#128)

Update Dependencies

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

Workflow runs

1538 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.