All workflows

Showing runs from all workflows

738 workflow runs

Update Dependencies
failed:
Update Dependencies#634:Scheduled
main
Oct 20, 202612s
Update Dependencies
failed:
Update Dependencies#633:Scheduled
main
Oct 20, 202612s
Update Dependencies
failed:
Update Dependencies#632:Scheduled
main
Oct 20, 202610s
Update Dependencies
failed:
Update Dependencies#631:Scheduled
main
Oct 20, 202610s
Update Dependencies
failed:
Update Dependencies#630:Scheduled
main
Oct 19, 202613s
Static optimality for splay trees
requires action with the application:
Build Lean project#96:Pull request#22synchronizebyberendsohn
berendsohn:splay-static-opt
Oct 19, 2026Action required
Static optimality for splay trees
requires action with the application:
Build Lean project#95:Pull request#22synchronizebyberendsohn
berendsohn:splay-static-opt
Oct 19, 2026Action required
Update Dependencies
failed:
Update Dependencies#629:Scheduled
main
Oct 19, 202612s
Update Dependencies
failed:
Update Dependencies#628:Scheduled
main
Oct 19, 202611s
Update Dependencies
failed:
Update Dependencies#627:Scheduled
main
Oct 19, 202612s
Update Dependencies
failed:
Update Dependencies#626:Scheduled
main
Oct 18, 202611s
Static optimality for splay trees
completed successfully:
Build Lean project#94:Pull request#22synchronizebyAntoineduFresne
berendsohn:splay-static-opt
Oct 18, 20262m 21s
Update Dependencies
failed:
Update Dependencies#625:Scheduled
main
Oct 18, 202611s
Update Dependencies
failed:
Update Dependencies#624:Scheduled
main
Oct 18, 202610s
Update Dependencies
failed:
Update Dependencies#623:Scheduled
main
Oct 18, 202611s
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

Workflow runs

738 workflow runs