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: 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