Skip to content

Actions: verified-optimization/CvxLean

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
123 workflow runs
123 workflow runs
Event

Filter by event

Loading
Status

Filter by status

Loading
Branch
Actor

Filter by actor

Loading
doc: various docs and docs page CI #75: Pull request #17 opened by ramonfmir
February 6, 2024 01:44 8m 14s docs-and-clean-up
docs-and-clean-up
February 6, 2024 01:44 8m 14s
pages build and deployment pages-build-deployment #1: by ramonfmir
February 6, 2024 01:39 49s
February 6, 2024 01:39 49s
feat: truss design case study CI #74: Commit a809bd4 pushed by ramonfmir
January 30, 2024 23:51 9m 43s main
main
January 30, 2024 23:51 9m 43s
feat: truss design case study CI #73: Pull request #16 opened by ramonfmir
January 30, 2024 23:41 9m 33s case-studies
case-studies
January 30, 2024 23:41 9m 33s
feat: hypersonic shape design case study CI #72: Commit 2a630ba pushed by ramonfmir
January 29, 2024 23:42 9m 35s main
main
January 29, 2024 23:42 9m 35s
feat: hypersonic shape design case study CI #71: Pull request #15 opened by ramonfmir
January 29, 2024 23:31 9m 26s case-studies
case-studies
January 29, 2024 23:31 9m 26s
feat: fitting sphere to data case study CI #70: Commit ffc6bed pushed by ramonfmir
January 29, 2024 01:04 9m 35s main
main
January 29, 2024 01:04 9m 35s
feat: fitting sphere to data case study CI #69: Pull request #14 opened by ramonfmir
January 29, 2024 00:50 10m 12s case-studies
case-studies
January 29, 2024 00:50 10m 12s
feat: vehicle speed scheduling case study CI #68: Commit 90607a7 pushed by ramonfmir
January 26, 2024 14:05 9m 28s main
main
January 26, 2024 14:05 9m 28s
feat: vehicle speed scheduling case study CI #67: Pull request #13 opened by ramonfmir
January 26, 2024 13:34 9m 34s case-studies
case-studies
January 26, 2024 13:34 9m 34s
feat: relaxations and pre-DCP improvements CI #66: Commit 4c7e043 pushed by ramonfmir
January 24, 2024 15:36 9m 8s main
main
January 24, 2024 15:36 9m 8s
feat: relaxations and pre-DCP improvements CI #65: Pull request #12 synchronize by ramonfmir
January 24, 2024 15:00 8m 58s relaxations
relaxations
January 24, 2024 15:00 8m 58s
feat: relaxations and pre-DCP improvements CI #64: Pull request #12 opened by ramonfmir
January 24, 2024 14:41 9m 19s relaxations
relaxations
January 24, 2024 14:41 9m 19s
feat: computable backward maps and all old tactics CI #63: Commit 2481c19 pushed by ramonfmir
January 17, 2024 11:00 8m 13s main
main
January 17, 2024 11:00 8m 13s
feat: computable backward maps and all old tactics CI #62: Pull request #11 synchronize by ramonfmir
January 17, 2024 10:47 7m 42s docs-and-clean-up
docs-and-clean-up
January 17, 2024 10:47 7m 42s
feat: computable backward maps and all old tactics CI #61: Pull request #11 opened by ramonfmir
January 16, 2024 18:25 7m 58s docs-and-clean-up
docs-and-clean-up
January 16, 2024 18:25 7m 58s
style: typo CI #60: Commit 6dbe2b3 pushed by ramonfmir
January 12, 2024 18:41 7m 33s main
main
January 12, 2024 18:41 7m 33s
feat: tactic builder and Lean Together demo CI #58: Commit 8c0b94f pushed by ramonfmir
January 12, 2024 13:30 7m 48s main
main
January 12, 2024 13:30 7m 48s
Tactic builder and Lean Together demo CI #57: Pull request #9 synchronize by ramonfmir
January 12, 2024 12:57 7m 29s lean-together-demo
lean-together-demo
January 12, 2024 12:57 7m 29s
Tactic builder and Lean Together demo CI #56: Pull request #9 synchronize by ramonfmir
January 12, 2024 12:50 4m 16s lean-together-demo
lean-together-demo
January 12, 2024 12:50 4m 16s
Tactic builder and Lean Together demo CI #55: Pull request #9 synchronize by ramonfmir
January 12, 2024 12:20 4m 38s lean-together-demo
lean-together-demo
January 12, 2024 12:20 4m 38s
Tactic builder and Lean Together demo CI #54: Pull request #9 synchronize by ramonfmir
January 12, 2024 11:51 4m 29s lean-together-demo
lean-together-demo
January 12, 2024 11:51 4m 29s
Tactic builder and Lean Together demo CI #53: Pull request #9 synchronize by ramonfmir
January 12, 2024 11:45 4m 16s lean-together-demo
lean-together-demo
January 12, 2024 11:45 4m 16s
Tactic builder and Lean Together demo CI #52: Pull request #9 synchronize by ramonfmir
January 12, 2024 11:38 4m 36s lean-together-demo
lean-together-demo
January 12, 2024 11:38 4m 36s
Tactic builder and Lean Together demo CI #51: Pull request #9 synchronize by ramonfmir
January 12, 2024 11:31 4m 9s lean-together-demo
lean-together-demo
January 12, 2024 11:31 4m 9s