Skip to content

Actions: formula-code/formula-code.github.io

Actions

Build and Deploy to GitHub Pages

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
deploy.yml
43 workflow runs
43 workflow runs

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
remove unused css from pipeline viz and player Build and Deploy to GitHub Pages #43: Commit a79001b pushed by atharvas
1m 23s main
main
1m 23s
revise f3 strategy description wording Build and Deploy to GitHub Pages #42: Commit 3f96815 pushed by atharvas
2m 5s main
main
2m 5s
add google search console verification tag Build and Deploy to GitHub Pages #41: Commit fd7da05 pushed by atharvas
1m 26s main
main
1m 26s
add icml 2026 venue badge to hero Build and Deploy to GitHub Pages #40: Commit b8b9fd8 pushed by atharvas
1m 19s main
main
1m 19s
revise dataset pipeline step descriptions Build and Deploy to GitHub Pages #39: Commit 661e44e pushed by atharvas
1m 30s main
main
1m 30s
add repository distribution chart to dataset stats Build and Deploy to GitHub Pages #38: Commit 2b75c59 pushed by atharvas
1m 26s main
main
1m 26s
drop task count from multi-workload tradeoff tooltip Build and Deploy to GitHub Pages #37: Commit 4a008ea pushed by atharvas
1m 35s main
main
1m 35s
update fc-eval task-id example to shapely_shapely_2283 Build and Deploy to GitHub Pages #36: Commit 2562688 pushed by atharvas
1m 20s main
main
1m 20s
scrap blog2 scaffold Build and Deploy to GitHub Pages #35: Commit e924817 pushed by atharvas
1m 30s main
main
1m 30s
ignore local fc-eval runs/ output Build and Deploy to GitHub Pages #34: Commit be09fc9 pushed by atharvas
1m 23s main
main
1m 23s
drop cutoff date from temporal generalization rows Build and Deploy to GitHub Pages #33: Commit b9339c9 pushed by atharvas
1m 27s main
main
1m 27s
polish mobile layout and add try_similar verifier log Build and Deploy to GitHub Pages #32: Commit d63b2fc pushed by atharvas
1m 21s main
main
1m 21s
archive paper parity and fc-eval issue tracking docs Build and Deploy to GitHub Pages #31: Commit d7b753c pushed by atharvas
1m 22s main
main
1m 22s
rebuild static site for github pages Build and Deploy to GitHub Pages #30: Commit ffafe51 pushed by atharvas
1m 26s main
main
1m 26s
default discord invite url in submit cta Build and Deploy to GitHub Pages #29: Commit fdfe505 pushed by atharvas
1m 18s main
main
1m 18s
add sitemap, pipeline notes, and data wishlist updates Build and Deploy to GitHub Pages #28: Commit 3a96d31 pushed by atharvas
1m 34s main
main
1m 34s
add live dashboard cta; rename browse cta to workloads Build and Deploy to GitHub Pages #27: Commit e743edf pushed by atharvas
1m 10s main
main
1m 10s
rewrite recording player; reorder landing per option A; live repo stats Build and Deploy to GitHub Pages #26: Commit 0904c96 pushed by atharvas
1m 15s main
main
1m 15s
add live dataset growth + treemap; switch docs to roboto Build and Deploy to GitHub Pages #25: Commit ef5879a pushed by atharvas
1m 10s main
main
1m 10s
Remove docs page tagline; update acknowledgements Build and Deploy to GitHub Pages #24: Commit 13af238 pushed by atharvas
1m 14s main
main
1m 14s
Merge pull request #1 from formula-code/redo-website Build and Deploy to GitHub Pages #23: Commit 61e935f pushed by atharvas
1m 14s main
main
1m 14s
Create CNAME Build and Deploy to GitHub Pages #22: Commit ef5f474 pushed by atharvas
1m 10s main
main
1m 10s
Delete CNAME Build and Deploy to GitHub Pages #21: Commit 391b4ec pushed by atharvas
14s main
main
14s
Create CNAME Build and Deploy to GitHub Pages #20: Commit 5dd357d pushed by atharvas
1m 20s main
main
1m 20s
Revert "Add localgdoc.aml content source" Build and Deploy to GitHub Pages #19: Commit 2d7ad64 pushed by atharvas
1m 16s main
main
1m 16s