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
Event

Filter by event

Loading
Status

Filter by status

Loading
Branch
Actor

Filter by actor

Loading
chore: bump to v4.8.0-rc1 and fix proofs (#33) CI #120: Commit c62c2f2 pushed by ramonfmir
May 20, 2024 15:01 9m 22s main
main
May 20, 2024 15:01 9m 22s
chore: bump to v4.8.0-rc1 and fix proofs CI #119: Pull request #33 synchronize by ramonfmir
May 20, 2024 14:51 9m 4s ecos-integration
ecos-integration
May 20, 2024 14:51 9m 4s
chore: bump to v4.8.0-rc1 and fix proofs CI #118: Pull request #33 opened by ramonfmir
May 20, 2024 14:39 6m 25s ecos-integration
ecos-integration
May 20, 2024 14:39 6m 25s
feat: split egg-pre-DCP rewrite workloads by component (#32) CI #117: Commit 25b66f2 pushed by ramonfmir
April 25, 2024 21:39 10m 1s main
main
April 25, 2024 21:39 10m 1s
feat: split egg-pre-DCP rewrite workloads by component CI #116: Pull request #32 opened by ramonfmir
April 25, 2024 20:27 8m 51s egg-split-components-2
egg-split-components-2
April 25, 2024 20:27 8m 51s
test: many extended interval arithmetic unit tests (#31) CI #115: Commit 46087d0 pushed by ramonfmir
April 24, 2024 15:12 9m 2s main
main
April 24, 2024 15:12 9m 2s
test: many extended interval arithmetic unit tests CI #114: Pull request #31 opened by ramonfmir
April 23, 2024 23:42 9m 9s egg-split-components
egg-split-components
April 23, 2024 23:42 9m 9s
fix: term type Symbol for stop-on-success (#30) CI #113: Commit c2f77e4 pushed by ramonfmir
April 11, 2024 15:22 9m 2s main
main
April 11, 2024 15:22 9m 2s
fix: term type Symbol for stop-on-success CI #112: Pull request #30 opened by ramonfmir
April 11, 2024 15:22 8m 53s term-type-fix
term-type-fix
April 11, 2024 15:22 8m 53s
feat: log max rule applied and term types (#29) CI #111: Commit cfd34bb pushed by ramonfmir
April 11, 2024 14:29 9m 3s main
main
April 11, 2024 14:29 9m 3s
feat: log max rule applied and term types CI #110: Pull request #29 opened by ramonfmir
April 11, 2024 14:16 9m 28s more-egg-evaluation
more-egg-evaluation
April 11, 2024 14:16 9m 28s
feat: improved proof replay evaluation scripts (#28) CI #109: Commit f301364 pushed by ramonfmir
April 8, 2024 20:31 10m 28s main
main
April 8, 2024 20:31 10m 28s
feat: improved proof replay evaluation scripts CI #108: Pull request #28 opened by ramonfmir
April 8, 2024 20:31 9m 29s more-lean-egg-evaluation
more-lean-egg-evaluation
April 8, 2024 20:31 9m 29s
feat: keep track of e-graph iteration data for evaluation (#27) CI #107: Commit c11be2c pushed by ramonfmir
April 7, 2024 20:16 8m 50s main
main
April 7, 2024 20:16 8m 50s
feat: keep track of e-graph iteration data for evaluation CI #106: Pull request #27 opened by ramonfmir
April 7, 2024 20:16 9m 20s egg-iteration-stats
egg-iteration-stats
April 7, 2024 20:16 9m 20s
feat: bijective change of variables in fitting sphere (#26) CI #105: Commit 3244381 pushed by ramonfmir
March 22, 2024 15:44 9m 17s main
main
March 22, 2024 15:44 9m 17s
feat: bijective change of variables in fitting sphere CI #104: Pull request #26 opened by ramonfmir
March 22, 2024 15:17 9m 10s final-touches
final-touches
March 22, 2024 15:17 9m 10s
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 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 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 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