Skip to content

Actions: jjjhenriksen/interactive-proof

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
69 workflow runs
69 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
docs: align Devpost copy with demo story CI #69: Commit 3344712 pushed by jjjhenriksen
5m 52s main
main
5m 52s
fix: support legacy browsers in PDF uploads CI #68: Commit bee3e3c pushed by jjjhenriksen
5m 51s main
main
5m 51s
docs: align product docs with upload-first flow CI #67: Commit 406b789 pushed by jjjhenriksen
5m 52s main
main
5m 52s
feat: make paper upload the public entry flow CI #66: Commit 46199d5 pushed by jjjhenriksen
5m 53s main
main
5m 53s
docs: align Devpost action labels CI #65: Commit 342d1ee pushed by jjjhenriksen
1m 56s main
main
1m 56s
feat: simplify explanations for learners CI #64: Commit e73291a pushed by jjjhenriksen
1m 56s main
main
1m 56s
docs: update final validation counts CI #63: Commit 71e48c4 pushed by jjjhenriksen
1m 48s main
main
1m 48s
fix: stabilize persisted dates across hydration CI #62: Commit 7ab7365 pushed by jjjhenriksen
1m 51s main
main
1m 51s
docs: clarify deployed release commit CI #61: Commit f5f5fa4 pushed by jjjhenriksen
2m 1s main
main
2m 1s
docs: record live deployment verification CI #60: Commit f0d399a pushed by jjjhenriksen
32s main
main
32s
fix: remove proof reader hydration mismatch CI #59: Commit 029393d pushed by jjjhenriksen
1m 56s main
main
1m 56s
docs: refresh public demo and README media CI #58: Commit 6f835f7 pushed by jjjhenriksen
1m 54s main
main
1m 54s
feat: render grounded explanations as rich math (#22) CI #57: Commit 4bd2963 pushed by jjjhenriksen
1m 49s main
main
1m 49s
Render grounded explanations as rich Markdown and LaTeX CI #56: Pull request #22 opened by jjjhenriksen
2m 3s codex/explanation-rendering
codex/explanation-rendering
2m 3s
docs: record cleaned release status CI #55: Commit c5fa890 pushed by jjjhenriksen
2m 2s main
main
2m 2s
docs: polish public release README CI #54: Commit eba5f53 pushed by jjjhenriksen
1m 23s main
main
1m 23s
feat: ship upload-first proof reader CI #53: Commit 8e41bed pushed by jjjhenriksen
1m 20s main
main
1m 20s
Prepare public release media and deployment handoff CI #52: Pull request #21 opened by jjjhenriksen
1m 52s codex/release-media
codex/release-media
1m 52s
Add public setup documentation (#20) CI #51: Commit 1e07168 pushed by jjjhenriksen
1m 49s main
main
1m 49s
Add public setup documentation CI #50: Pull request #20 opened by jjjhenriksen
1m 57s codex/site-docs
codex/site-docs
1m 57s
Fix repository-wide autoreview findings (#19) CI #49: Commit 759d08a pushed by jjjhenriksen
2m 1s main
main
2m 1s
Fix repository-wide autoreview findings CI #48: Pull request #19 opened by jjjhenriksen
1m 53s codex/autoreview-fixes
codex/autoreview-fixes
1m 53s
Add ephemeral paper and Lean uploads (#18) CI #47: Commit 3e781d9 pushed by jjjhenriksen
1m 48s main
main
1m 48s
Add ephemeral paper and Lean uploads CI #46: Pull request #18 opened by jjjhenriksen
1m 43s codex/ephemeral-uploads
codex/ephemeral-uploads
1m 43s
Add honest recorded demonstrations (#17) CI #45: Commit 3b8442d pushed by jjjhenriksen
1m 48s main
main
1m 48s