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
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
feat: non-trivial atoms and convexify improvements CI #44: Commit e9593f6 pushed by ramonfmir
December 15, 2023 21:42 7m 42s main
main
December 15, 2023 21:42 7m 42s
Non-trivial atoms and convexify improvements CI #43: Pull request #6 synchronize by ramonfmir
December 15, 2023 21:32 7m 25s non-trivial-atoms
non-trivial-atoms
December 15, 2023 21:32 7m 25s
Non-trivial atoms and convexify improvements CI #42: Pull request #6 synchronize by ramonfmir
December 15, 2023 21:22 7m 52s non-trivial-atoms
non-trivial-atoms
December 15, 2023 21:22 7m 52s
Non-trivial atoms and convexify improvements CI #41: Pull request #6 synchronize by ramonfmir
December 15, 2023 17:38 8m 13s non-trivial-atoms
non-trivial-atoms
December 15, 2023 17:38 8m 13s
Non-trivial atoms and convexify improvements CI #40: Pull request #6 synchronize by ramonfmir
December 15, 2023 16:43 7m 40s non-trivial-atoms
non-trivial-atoms
December 15, 2023 16:43 7m 40s
Non-trivial atoms and convexify improvements CI #39: Pull request #6 synchronize by ramonfmir
December 15, 2023 16:13 7m 35s non-trivial-atoms
non-trivial-atoms
December 15, 2023 16:13 7m 35s
Non-trivial atoms and convexify improvements CI #38: Pull request #6 opened by ramonfmir
December 15, 2023 15:36 7m 50s non-trivial-atoms
non-trivial-atoms
December 15, 2023 15:36 7m 50s
feat: 100% Lean 4, pre-DCP rewrites and more CI #37: Commit 138f294 pushed by ramonfmir
November 22, 2023 19:51 5m 59s main
main
November 22, 2023 19:51 5m 59s
100% Lean 4, pre-DCP rewrites and more CI #36: Pull request #5 opened by ramonfmir
November 22, 2023 19:50 6m 0s pre-dcp-rewrites-fix
pre-dcp-rewrites-fix
November 22, 2023 19:50 6m 0s
100% Lean 4, pre-DCP rewrites and more CI #35: Pull request #4 synchronize by ramonfmir
November 22, 2023 19:31 5m 58s pre-dcp-rewrites
pre-dcp-rewrites
November 22, 2023 19:31 5m 58s
100% Lean 4, pre-DCP rewrites and more CI #34: Pull request #4 synchronize by ramonfmir
November 22, 2023 19:02 5m 50s pre-dcp-rewrites
pre-dcp-rewrites
November 22, 2023 19:02 5m 50s
100% Lean 4, pre-DCP rewrites and more CI #33: Pull request #4 synchronize by ramonfmir
November 22, 2023 18:54 5m 44s pre-dcp-rewrites
pre-dcp-rewrites
November 22, 2023 18:54 5m 44s
100% Lean 4, pre-DCP rewrites and more CI #32: Pull request #4 synchronize by ramonfmir
November 22, 2023 18:46 25s pre-dcp-rewrites
pre-dcp-rewrites
November 22, 2023 18:46 25s
100% Lean 4, pre-DCP rewrites and more CI #31: Pull request #4 opened by ramonfmir
November 22, 2023 18:33 12m 33s pre-dcp-rewrites
pre-dcp-rewrites
November 22, 2023 18:33 12m 33s
chore: install MOSEK in CI CI #30: Commit 64e0b13 pushed by ramonfmir
June 3, 2023 18:34 6m 11s main
main
June 3, 2023 18:34 6m 11s
chore: install MOSEK in CI CI #29: Pull request #3 synchronize by ramonfmir
June 3, 2023 18:24 6m 13s ci
ci
June 3, 2023 18:24 6m 13s
chore: basic CI CI #2: Commit 89fd342 pushed by ramonfmir
June 2, 2023 16:06 6m 0s main
main
June 2, 2023 16:06 6m 0s