All workflows

Showing runs from all workflows

1596 workflow runs

Update Dependencies
completed successfully:
Update Dependencies#8:Scheduled
main
Jun 10, 202613s
Simplify the tutorial setup
failed:
Compile blueprint#590:Pull request#120openedbyRemyDegenne
blueprint
Jun 10, 202615m 37s
Bump mathlib dependency to 1ccad00 (#119)
completed successfully:
Compile blueprint#589:Commit5869f7fpushedbyRemyDegenne
main
Jun 10, 202651m 30s
Update Dependencies
completed successfully:
Update Dependencies#7:Manually runbyRemyDegenne
main
Jun 10, 20263m 9s
Update Dependencies
failed:
Update Dependencies#6:Manually runbyRemyDegenne
main
Jun 10, 20262m 58s
Update Dependencies
failed:
Update Dependencies#5:Scheduled
main
Jun 10, 202614s
Update Dependencies
failed:
Update Dependencies#4:Scheduled
main
Jun 10, 202611s
Update Dependencies
failed:
Update Dependencies#3:Scheduled
main
Jun 9, 202614s
Stochastic gradient descent
failed:
Compile blueprint#586:Pull request#103synchronizebyRemyDegenne
sgd
Jun 9, 20264m 39s
Update Dependencies
failed:
Update Dependencies#2:Scheduled
main
Jun 9, 202616s
Stochastic gradient descent
failed:
Compile blueprint#585:Pull request#103synchronizebyRemyDegenne
sgd
Jun 9, 20264m 13s
Stochastic gradient descent
failed:
Compile blueprint#584:Pull request#103synchronizebyRemyDegenne
sgd
Jun 9, 20262m 45s
Update to latest Mathlib (#118)
completed successfully:
Create Release#12:Commit3cb76bapushedbyRemyDegenne
main
Jun 9, 202616s
Update to latest Mathlib (#118)
completed successfully:
Compile blueprint#583:Commit3cb76bapushedbyRemyDegenne
main
Jun 9, 202655m 21s
Update to latest Mathlib
completed successfully:
Compile blueprint#582:Pull request#118openedbyRemyDegenne
bump
Jun 9, 202611m 54s
Update Dependencies
failed:
Update Dependencies#1:Manually runbyRemyDegenne
main
Jun 9, 202618s
Change update workflow (#116)
cancelled:
Compile blueprint#581:Commitc81745dpushedbyRemyDegenne
main
Jun 9, 202631m 43s
Change update workflow
completed successfully:
Compile blueprint#580:Pull request#116openedbyRemyDegenne
bump
Jun 9, 202615m 59s
Update create-release workflow (#115)
cancelled:
Compile blueprint#579:Commitf969e28pushedbyRemyDegenne
main
Jun 9, 202613m 57s
Update create-release workflow
completed successfully:
Compile blueprint#578:Pull request#115openedbyRemyDegenne
bump
Jun 9, 202610m 43s
Update to 4.30.0 (#114)
cancelled:
Compile blueprint#577:Commit5bc2048pushedbyRemyDegenne
main
Jun 9, 20268m 20s
Update to 4.30.0 (#114)
failed:
Create Release#11:Commit5bc2048pushedbyRemyDegenne
main
Jun 9, 20269s
Update to 4.30.0
completed successfully:
Compile blueprint#576:Pull request#114synchronizebyRemyDegenne
bump
Jun 9, 202611m 9s
linUCB
completed successfully:
Compile blueprint#575:Pull request#113synchronizebyFawadHa1der
FawadHa1der:issue-112
Jun 8, 202611m 38s
Update to 4.30.0
failed:
Compile blueprint#574:Pull request#114synchronizebyRemyDegenne
bump
Jun 6, 202619m 10s

Navigation Menu

All workflows

1596 workflow runs

Update Dependencies

Simplify the tutorial setup

Bump `mathlib` dependency to 1ccad00 (#119)

Update Dependencies

Update Dependencies

Update Dependencies

Update Dependencies

Update Dependencies

Stochastic gradient descent

Update Dependencies

Stochastic gradient descent

Stochastic gradient descent

Update to latest Mathlib (#118)

Update to latest Mathlib (#118)

Update to latest Mathlib

Update Dependencies

Change update workflow (#116)

Change update workflow

Update create-release workflow (#115)

Update create-release workflow

Update to 4.30.0 (#114)

Update to 4.30.0 (#114)

Update to 4.30.0

linUCB

Update to 4.30.0

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

Workflow runs

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