Skip to content

Actions: verified-optimization/CvxLean

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
main.yml
92 workflow runs
92 workflow runs

Filter by Event

Loading

Filter by Status

Loading

Filter by Branch

Loading

Filter by Actor

Loading
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
Tactic builder and Lean Together demo CI #50: Pull request #9 opened by ramonfmir
January 11, 2024 21:36 4m 30s lean-together-demo
lean-together-demo
January 11, 2024 21:36 4m 30s
fix: atom reduction logic CI #49: Commit b6eae74 pushed by ramonfmir
December 21, 2023 15:52 7m 44s main
main
December 21, 2023 15:52 7m 44s
Atom reduction logic CI #48: Pull request #8 opened by ramonfmir
December 21, 2023 15:42 7m 27s atom-reduction-fix
atom-reduction-fix
December 21, 2023 15:42 7m 27s
feat: non-trivial atoms and convexify improvements CI #47: Commit e9593f6 pushed by ramonfmir
December 21, 2023 14:53 7m 39s main
main
December 21, 2023 14:53 7m 39s
fix: logic in non-trivial atoms CI #46: Commit e8f3778 pushed by ramonfmir
December 21, 2023 14:13 7m 16s main
main
December 21, 2023 14:13 7m 16s
Omit original variables in atom reduction CI #45: Pull request #7 opened by ramonfmir
December 21, 2023 14:13 7m 45s atom-reduction-fix
atom-reduction-fix
December 21, 2023 14:13 7m 45s