All workflows

Showing runs from all workflows

1538 workflow runs

Simplify the tutorial setup
cancelled:
Compile blueprint#600:Pull request#120synchronizebyRemyDegenne
blueprint
Jun 11, 20262m 36s
Simplify the tutorial setup
failed:
Compile blueprint#599:Pull request#120synchronizebyRemyDegenne
blueprint
Jun 11, 20263m 7s
Bump mathlib dependency to f430c19 (#121)
completed successfully:
Compile blueprint#598:Commit944088fpushedbyRemyDegenne
main
Jun 11, 202654m 16s
Update Dependencies
completed successfully:
Update Dependencies#11:Scheduled
main
Jun 11, 20262m 54s
Update Dependencies
completed successfully:
Update Dependencies#10:Scheduled
main
Jun 11, 202610s
Update Dependencies
completed successfully:
Update Dependencies#9:Scheduled
main
Jun 10, 202626s
Simplify the tutorial setup
completed successfully:
Compile blueprint#593:Pull request#120synchronizebyRemyDegenne
blueprint
Jun 10, 202613m 49s
Simplify the tutorial setup
completed successfully:
Compile blueprint#592:Pull request#120synchronizebyRemyDegenne
blueprint
Jun 10, 202613m 14s
Simplify the tutorial setup
cancelled:
Compile blueprint#591:Pull request#120synchronizebyRemyDegenne
blueprint
Jun 10, 20261m 25s
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

Navigation Menu

All workflows

1538 workflow runs

Simplify the tutorial setup

Simplify the tutorial setup

Bump `mathlib` dependency to f430c19 (#121)

Update Dependencies

Update Dependencies

Update Dependencies

Simplify the tutorial setup

Simplify the tutorial setup

Simplify the tutorial setup

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

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.