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
chore: bump to v4.8.0-rc1 and fix proofs (#33) docs #30: Commit c62c2f2 pushed by ramonfmir
May 20, 2024 15:01 18m 44s main
main
May 20, 2024 15:01 18m 44s
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) docs #29: Commit 25b66f2 pushed by ramonfmir
April 25, 2024 21:39 18m 18s main
main
April 25, 2024 21:39 18m 18s
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) docs #28: Commit 46087d0 pushed by ramonfmir
April 24, 2024 15:12 19m 24s main
main
April 24, 2024 15:12 19m 24s
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 (#30) docs #27: Commit c2f77e4 pushed by ramonfmir
April 11, 2024 15:22 18m 11s main
main
April 11, 2024 15:22 18m 11s
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) docs #26: Commit cfd34bb pushed by ramonfmir
April 11, 2024 14:29 19m 2s main
main
April 11, 2024 14:29 19m 2s
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 (#28) docs #25: Commit f301364 pushed by ramonfmir
April 8, 2024 20:31 18m 15s main
main
April 8, 2024 20:31 18m 15s
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) docs #24: Commit c11be2c pushed by ramonfmir
April 7, 2024 20:16 18m 28s main
main
April 7, 2024 20:16 18m 28s
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 (#26) docs #23: Commit 3244381 pushed by ramonfmir
March 22, 2024 15:44 18m 1s main
main
March 22, 2024 15:44 18m 1s
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