Skip to content

Actions: henryrobbins/flare

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
77 workflow runs
77 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
Create Agent Harnesses index with pages per-harness CI - Python #60: Commit 6ea69f1 pushed by henryrobbins
1m 6s main
main
1m 6s
Update Docker user guide CI - Python #59: Commit c49e246 pushed by henryrobbins
1m 3s main
main
1m 3s
Simplify the installation page and create new user guides CI - Python #58: Commit 3f38201 pushed by henryrobbins
1m 7s main
main
1m 7s
Refine index, prompts, and agent skills pages on milp-flare docs CI - Python #57: Commit 67e6786 pushed by henryrobbins
1m 3s main
main
1m 3s
Refine index, prompts, and agent skills pages on milp-flare docs Deploy site to GitHub Pages #11: Commit 67e6786 pushed by henryrobbins
48s main
main
48s
Add Docker-free unit tests for the milp_flare harness layer CI - Python #56: Commit c2b9230 pushed by henryrobbins
59s main
main
59s
Remove the gurobi pytest marker CI - Python #55: Commit 6a248ac pushed by henryrobbins
1m 0s main
main
1m 0s
Add codegen tests covering every reachable _codegen branch CI - Python #54: Commit bdc95d7 pushed by henryrobbins
59s main
main
59s
Remove undocumented sha256 logic from download_dataset() CI - Python #53: Commit d8c3116 pushed by henryrobbins
41s main
main
41s
Refine the Dataset Schema and Definitions docs pages CI - Python #52: Commit 089955b pushed by henryrobbins
44s main
main
44s
Add typed Shape/Dimension model for formulation index structure CI - Python #51: Commit d8bedff pushed by henryrobbins
41s main
main
41s
Refine FormulationBench Problems docs pages CI - Python #50: Commit a6c5b98 pushed by henryrobbins
41s main
main
41s
Refine the FormulationBench installation and user guide docs CI - Python #49: Commit acd2c6d pushed by henryrobbins
33s main
main
33s
Refine the FormulationBench installation and user guide docs CI - Python #48: Commit 4bdbcf1 pushed by henryrobbins
26s main
main
26s
Score truncated LLM responses as false in report.py CI - Python #47: Commit b7ac9fb pushed by henryrobbins
43s main
main
43s
FLARE agent prompt assumption-handling instructions unclear CI - Python #46: Commit 8aac3b8 pushed by henryrobbins
38s main
main
38s
Add no-new-axioms check to FLARE verification CI - Python #45: Commit 27004d6 pushed by henryrobbins
40s main
main
40s
Fix stale formulation-import regex in FLARE docker test CI - Python #44: Commit e8e8324 pushed by henryrobbins
39s main
main
39s
Fix milp-flare build-image for dev checkouts CI - Python #43: Commit 8cae84b pushed by henryrobbins
44s main
main
44s
Update the landing page: more results, concise, footnotes Deploy site to GitHub Pages #10: Commit 3da2be8 pushed by henryrobbins
52s main
main
52s
Merge pull request #11 from henryrobbins/site Deploy site to GitHub Pages #9: Commit 507ad16 pushed by henryrobbins
20s main
main
20s
Add FormulationBench and FLARE sections to site Deploy site to GitHub Pages #8: Commit 31a8658 pushed by henryrobbins
55s site
site
55s
Add results table to site landing page Deploy site to GitHub Pages #7: Commit 0b985b5 pushed by henryrobbins
47s site
site
47s
Add PDF download link to site Deploy site to GitHub Pages #6: Commit 277cc39 pushed by henryrobbins
1m 24s site
site
1m 24s
Remove redundant template Astro deploy workflow Deploy site to GitHub Pages #5: Commit 1270941 pushed by henryrobbins
1m 5s site
site
1m 5s