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: add bib to README.md docs #22: Commit 4c00eec pushed by ramonfmir
March 18, 2024 20:19 19m 4s main
main
March 18, 2024 20:19 19m 4s
doc: add bib to README.md CI #103: Commit 4c00eec pushed by ramonfmir
March 18, 2024 20:19 9m 17s main
main
March 18, 2024 20:19 9m 17s
doc: more README.md CI #102: Pull request #25 opened by ramonfmir
March 18, 2024 20:18 8m 52s docs-and-clean-up
docs-and-clean-up
March 18, 2024 20:18 8m 52s
doc: better phrasing in README.md docs #21: Commit acf9bcb pushed by ramonfmir
March 16, 2024 20:07 18m 7s main
main
March 16, 2024 20:07 18m 7s
doc: better phrasing in README.md CI #101: Commit acf9bcb pushed by ramonfmir
March 16, 2024 20:07 9m 22s main
main
March 16, 2024 20:07 9m 22s
doc: update README.md CI #100: Pull request #24 opened by ramonfmir
March 16, 2024 20:07 8m 56s docs-and-clean-up
docs-and-clean-up
March 16, 2024 20:07 8m 56s
doc: improved README.md and new demo docs #20: Commit 849eb39 pushed by ramonfmir
March 15, 2024 14:51 18m 55s main
main
March 15, 2024 14:51 18m 55s
doc: improved README.md and new demo CI #99: Commit 849eb39 pushed by ramonfmir
March 15, 2024 14:51 9m 11s main
main
March 15, 2024 14:51 9m 11s
doc: improved README.md and new demo CI #98: Pull request #23 opened by ramonfmir
March 15, 2024 14:39 9m 24s docs-and-clean-up
docs-and-clean-up
March 15, 2024 14:39 9m 24s
feat: lift some atoms to vectors/matrices CI #97: Commit 532b177 pushed by ramonfmir
March 9, 2024 15:16 9m 6s main
main
March 9, 2024 15:16 9m 6s
feat: lift some atoms to vectors/matrices docs #19: Commit 532b177 pushed by ramonfmir
March 9, 2024 15:16 18m 46s main
main
March 9, 2024 15:16 18m 46s
feat: lift some atoms to vectors/matrices CI #96: Pull request #22 synchronize by ramonfmir
March 9, 2024 13:27 9m 17s docs-and-clean-up
docs-and-clean-up
March 9, 2024 13:27 9m 17s
feat: lift some atoms to vectors/matrices CI #95: Pull request #22 opened by ramonfmir
March 8, 2024 20:07 8m 25s docs-and-clean-up
docs-and-clean-up
March 8, 2024 20:07 8m 25s
fix: no docs for tests or examples docs #18: Commit 446059b pushed by ramonfmir
March 8, 2024 14:03 18m 36s main
main
March 8, 2024 14:03 18m 36s
fix: no docs for tests or examples CI #94: Commit 446059b pushed by ramonfmir
March 8, 2024 14:03 9m 23s main
main
March 8, 2024 14:03 9m 23s
fix: no docs for tests or examples CI #93: Pull request #21 opened by ramonfmir
March 8, 2024 14:03 9m 31s docs-and-clean-up
docs-and-clean-up
March 8, 2024 14:03 9m 31s
doc: documented and styled everything CI #92: Commit fbe2ae2 pushed by ramonfmir
March 8, 2024 13:41 9m 6s main
main
March 8, 2024 13:41 9m 6s
doc: documented and styled everything docs #17: Commit fbe2ae2 pushed by ramonfmir
March 8, 2024 13:41 7m 19s main
main
March 8, 2024 13:41 7m 19s
doc: documented and styled everything CI #91: Pull request #20 synchronize by ramonfmir
March 8, 2024 12:06 9m 14s docs-and-clean-up
docs-and-clean-up
March 8, 2024 12:06 9m 14s
doc: documented and styled everything CI #90: Pull request #20 synchronize by ramonfmir
March 8, 2024 12:02 5m 41s docs-and-clean-up
docs-and-clean-up
March 8, 2024 12:02 5m 41s
doc: documented and styled everything docs #16: Pull request #20 synchronize by ramonfmir
March 8, 2024 12:02 4m 31s docs-and-clean-up
docs-and-clean-up
March 8, 2024 12:02 4m 31s
doc: documented and styled everything docs #15: Pull request #20 opened by ramonfmir
March 7, 2024 21:06 18m 22s docs-and-clean-up
docs-and-clean-up
March 7, 2024 21:06 18m 22s
doc: documented and styled everything CI #89: Pull request #20 opened by ramonfmir
March 7, 2024 21:06 6m 18s docs-and-clean-up
docs-and-clean-up
March 7, 2024 21:06 6m 18s
doc: more tactics docs and some general refactoring CI #88: Commit 678c050 pushed by ramonfmir
March 1, 2024 14:11 24m 51s main
main
March 1, 2024 14:11 24m 51s
doc: more tactics docs and some general refactoring docs #14: Commit 678c050 pushed by ramonfmir
March 1, 2024 14:11 1h 19m 24s main
main
March 1, 2024 14:11 1h 19m 24s