All workflows

Showing runs from all workflows

723 workflow runs

Update Dependencies
failed:
Update Dependencies#622:Scheduled
main
Oct 17, 20268s
Update Dependencies
failed:
Update Dependencies#621:Scheduled
main
Oct 17, 202610s
Update Dependencies
failed:
Update Dependencies#620:Scheduled
main
Oct 17, 20268s
Update Dependencies
failed:
Update Dependencies#619:Scheduled
main
Oct 17, 202611s
Update Dependencies
failed:
Update Dependencies#618:Scheduled
main
Oct 16, 202613s
Update Dependencies
failed:
Update Dependencies#617:Scheduled
main
Oct 16, 20268s
Update Dependencies
failed:
Update Dependencies#616:Scheduled
main
Oct 16, 202614s
Update Dependencies
failed:
Update Dependencies#615:Scheduled
main
Oct 16, 202612s
Update Dependencies
failed:
Update Dependencies#614:Scheduled
main
Oct 15, 202611s
Update Dependencies
failed:
Update Dependencies#613:Scheduled
main
Oct 15, 202611s
Update Dependencies
failed:
Update Dependencies#612:Scheduled
main
Oct 15, 202612s
Update Dependencies
failed:
Update Dependencies#611:Scheduled
main
Oct 15, 202617s
Update Dependencies
failed:
Update Dependencies#610:Scheduled
main
Oct 14, 202612s
Static optimality for splay trees
completed successfully:
Build Lean project#93:Pull request#22synchronizebyAntoineduFresne
berendsohn:splay-static-opt
Oct 14, 20264m 15s
Update Dependencies
failed:
Update Dependencies#609:Scheduled
main
Oct 14, 202610s
Update Dependencies
failed:
Update Dependencies#608:Scheduled
main
Oct 14, 202610s
Update Dependencies
failed:
Update Dependencies#607:Scheduled
main
Oct 14, 202611s
Update Dependencies
failed:
Update Dependencies#606:Scheduled
main
Oct 13, 202611s
Update Dependencies
failed:
Update Dependencies#605:Scheduled
main
Oct 13, 202612s
Migrate the randomized-algorithm framework into AlgoLib
completed successfully:
Build Lean project#92:Pull request#24openedbyAntoineduFresne
randomized-framework
Oct 13, 20264m 59s
Update Dependencies
failed:
Update Dependencies#604:Scheduled
main
Oct 13, 202611s
Update Dependencies
failed:
Update Dependencies#603:Scheduled
main
Oct 13, 202611s
Update Dependencies
failed:
Update Dependencies#602:Scheduled
main
Oct 12, 202614s
Update Dependencies
failed:
Update Dependencies#601:Scheduled
main
Oct 12, 202613s
Update Dependencies
failed:
Update Dependencies#600:Scheduled
main
Oct 12, 202613s

Workflow runs

723 workflow runs