Skip to content

Actions: abundant-ai/theoremsmith

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
20 workflow runs
20 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Add synthetic extension demo (#1) ci #19: Commit e263885 pushed by charlesyhuang
55s master
master
55s
Add task file viewer and synthetic Lean extension demo ci #18: Pull request #1 opened by charlesyhuang
1m 3s codex/theoremsmith-synthetic-extension-mvp
codex/theoremsmith-synthetic-extension-mvp
1m 3s
Add synthetic extension demo ci #17: Commit 437e68a pushed by charlesyhuang
1m 4s codex/theoremsmith-synthetic-extension-mvp
codex/theoremsmith-synthetic-extension-mvp
1m 4s
feat(ui): center the run page on the proofs to fill in, drop the solv… ci #16: Commit d043d69 pushed by charlesyhuang
59s master
master
59s
fix(ui): stay on the run page after submit, show the solver loading ci #15: Commit 72c815f pushed by charlesyhuang
57s master
master
57s
feat(ui): rebuild the frontend on Radix Themes — soft, minimal, 2026 ci #14: Commit eed1cc7 pushed by charlesyhuang
57s master
master
57s
change(oddish): route MiniMax via Fireworks (fireworks/minimax-m3) ci #13: Commit 7b31f3a pushed by charlesyhuang
53s master
master
53s
change(oddish): solver is MiniMax M3 ci #12: Commit 6487d00 pushed by charlesyhuang
1m 2s master
master
1m 2s
change(oddish): fixed DeepSeek solver + instant (background) submit ci #11: Commit 14b330a pushed by charlesyhuang
1m 3s master
master
1m 3s
change(oddish): drop the Sonnet solver ci #10: Commit 8c4465b pushed by charlesyhuang
57s master
master
57s
feat(oddish): pick the solver model when running on Oddish ci #9: Commit 7211e41 pushed by charlesyhuang
57s master
master
57s
change(ui): left pane is "builder model" then "live solve" ci #8: Commit 0b925da pushed by charlesyhuang
55s master
master
55s
fix(oddish): dereference symlinks when packing (Oddish upload refuses… ci #7: Commit 5d84747 pushed by charlesyhuang
58s master
master
58s
fix(oddish): unique task per submit so a cancelled task can't poison … ci #6: Commit fef5563 pushed by charlesyhuang
1m 7s master
master
1m 7s
fix(oddish): parse real CLI output and tail the newest trial ci #5: Commit 9980d09 pushed by charlesyhuang
51s master
master
51s
change(oddish): solve with claude-code / claude-haiku-4-5, surface th… ci #4: Commit fb087a3 pushed by charlesyhuang
55s master
master
55s
feat(scan): stream the create model's live trajectory in the scan dialog ci #3: Commit e931517 pushed by charlesyhuang
56s master
master
56s
feat(ui): stream the live trajectory in the left pane — builder, then… ci #2: Commit 0fb3da2 pushed by charlesyhuang
30s master
master
30s
feat(scan): prebuild the demo scans and warn a fresh scan takes minutes ci #1: Commit 94bcc9b pushed by charlesyhuang
51s master
master
51s
Graph Update: pip in /. #1520561805 Dependency Graph #1: by dependabot Bot
51s master
master
51s