All workflows

Showing runs from all workflows

1538 workflow runs

Update Dependencies
completed successfully:
Update Dependencies#93:Scheduled
main
Jul 1, 20263m 49s
Update Dependencies
completed successfully:
Update Dependencies#92:Scheduled
main
Jul 1, 202612s
Bump mathlib dependency to 9ae96ab
completed successfully:
Compile blueprint#784:Pull request#175openedbygithub-actions[bot]Bot
hopscotch/lkg-bump
Jun 30, 202614m 17s
Update Dependencies
completed successfully:
Update Dependencies#91:Scheduled
main
Jun 30, 20263m 53s
Bump mathlib dependency to f6d7788 (#174)
completed successfully:
Compile blueprint#783:Commit7a0e587pushedbyRemyDegenne
main
Jun 30, 20261h 7m 3s
Update Dependencies
completed successfully:
Update Dependencies#90:Scheduled
main
Jun 30, 202612s
Update Dependencies
completed successfully:
Update Dependencies#89:Scheduled
main
Jun 30, 202612s
Bump mathlib dependency to f6d7788
completed successfully:
Compile blueprint#782:Pull request#174openedbygithub-actions[bot]Bot
hopscotch/lkg-bump
Jun 30, 202615m 36s
Update Dependencies
completed successfully:
Update Dependencies#88:Scheduled
main
Jun 30, 20263m 31s
Bump mathlib dependency to 95fdbd6 (#173)
completed successfully:
Compile blueprint#781:Commitcbe122epushedbyRemyDegenne
main
Jun 30, 20261h 2m 13s
Update Dependencies
completed successfully:
Update Dependencies#87:Scheduled
main
Jun 30, 202611s
Bump mathlib dependency to 95fdbd6
completed successfully:
Compile blueprint#780:Pull request#173openedbygithub-actions[bot]Bot
hopscotch/lkg-bump
Jun 29, 202616m 20s
Update Dependencies
completed successfully:
Update Dependencies#86:Scheduled
main
Jun 29, 20263m 48s
Update Dependencies
completed successfully:
Update Dependencies#85:Scheduled
main
Jun 29, 202616s
Bump mathlib dependency to aaedc74 (#172)
completed successfully:
Compile blueprint#779:Commit869d1c0pushedbyRemyDegenne
main
Jun 29, 202649m 36s
Bump mathlib dependency to aaedc74
completed successfully:
Compile blueprint#778:Pull request#172synchronizebygithub-actions[bot]Bot
hopscotch/lkg-bump
Jun 29, 202615m 40s
Update Dependencies
completed successfully:
Update Dependencies#84:Scheduled
main
Jun 29, 20263m 32s
Update Dependencies
completed successfully:
Update Dependencies#83:Scheduled
main
Jun 29, 202611s
Update Dependencies
completed successfully:
Update Dependencies#82:Scheduled
main
Jun 28, 20263m 4s
Bump mathlib dependency to b2b4255 (#171)
completed successfully:
Compile blueprint#776:Commitb9d813dpushedbyRemyDegenne
main
Jun 28, 20261h 2m 53s
Update Dependencies
completed successfully:
Update Dependencies#81:Scheduled
main
Jun 28, 202613s
Bump mathlib dependency to b2b4255
completed successfully:
Compile blueprint#775:Pull request#171synchronizebygithub-actions[bot]Bot
hopscotch/lkg-bump
Jun 28, 202612m 54s
Stochastic gradient descent
completed successfully:
Compile blueprint#774:Pull request#103synchronizebyRemyDegenne
sgd
Jun 28, 202615m 8s
Update Dependencies
completed successfully:
Update Dependencies#80:Scheduled
main
Jun 28, 20263m 40s
Stochastic gradient descent
failed:
Compile blueprint#773:Pull request#103synchronizebyRemyDegenne
sgd
Jun 28, 20264m 19s

Navigation Menu

All workflows

1538 workflow runs

Update Dependencies

Update Dependencies

Bump `mathlib` dependency to 9ae96ab

Update Dependencies

Bump `mathlib` dependency to f6d7788 (#174)

Update Dependencies

Update Dependencies

Bump `mathlib` dependency to f6d7788

Update Dependencies

Bump `mathlib` dependency to 95fdbd6 (#173)

Update Dependencies

Bump `mathlib` dependency to 95fdbd6

Update Dependencies

Update Dependencies

Bump `mathlib` dependency to aaedc74 (#172)

Bump `mathlib` dependency to aaedc74

Update Dependencies

Update Dependencies

Update Dependencies

Bump `mathlib` dependency to b2b4255 (#171)

Update Dependencies

Bump `mathlib` dependency to b2b4255

Stochastic gradient descent

Update Dependencies

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

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.