Skip to content

Actions: herbie-fp/herbie

Actions

Tool

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
2,660 workflow run results
2,660 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Move expand-taylor tests Tool #4612: Commit 1ac8a8e pushed by pavpanchekha
August 27, 2024 22:34 18m 13s new-batch-abstractions
new-batch-abstractions
August 27, 2024 22:34 18m 13s
Move batch-replace and batch-approx Tool #4611: Commit 6dba200 pushed by pavpanchekha
August 27, 2024 22:27 2m 18s new-batch-abstractions
new-batch-abstractions
August 27, 2024 22:27 2m 18s
Formatting & vars in mutable batches Tool #4610: Commit 3d5d481 pushed by pavpanchekha
August 27, 2024 22:17 3m 31s new-batch-abstractions
new-batch-abstractions
August 27, 2024 22:17 3m 31s
New batch abstractions Tool #4609: Commit 7ac22ce pushed by pavpanchekha
August 27, 2024 22:05 2m 28s new-batch-abstractions
new-batch-abstractions
August 27, 2024 22:05 2m 28s
Merge pull request #942 from herbie-fp/spec-fpcore-fields Tool #4608: Commit ebd0b67 pushed by bksaiki
August 27, 2024 21:55 4m 15s main
main
August 27, 2024 21:55 4m 15s
raco fmt Tool #4607: Commit 981d97a pushed by bksaiki
August 27, 2024 19:28 3m 14s faster-prune
faster-prune
August 27, 2024 19:28 3m 14s
Continued Tool #4606: Commit fd4079c pushed by varun10p
August 27, 2024 19:13 2m 19s varun10p-identities
varun10p-identities
August 27, 2024 19:13 2m 19s
more syntax checking Tool #4605: Commit 014a07d pushed by bksaiki
August 27, 2024 17:36 3m 20s spec-fpcore-fields
spec-fpcore-fields
August 27, 2024 17:36 3m 20s
dedup in pareto frontiers Tool #4604: Commit 2e3fd11 pushed by bksaiki
August 27, 2024 17:29 3m 6s faster-prune
faster-prune
August 27, 2024 17:29 3m 6s
PR review changes. Tool #4603: Commit 6994934 pushed by zaneenders
August 27, 2024 17:11 3m 30s zane-check-status
zane-check-status
August 27, 2024 17:11 3m 30s
PR review clean up. Tool #4602: Commit f717ab7 pushed by zaneenders
August 27, 2024 17:04 3m 45s zane-check-status
zane-check-status
August 27, 2024 17:04 3m 45s
Fix make-timeline call sites. Tool #4601: Commit 9403065 pushed by zaneenders
August 27, 2024 16:25 3m 48s zane-server-clean-up
zane-server-clean-up
August 27, 2024 16:25 3m 48s
Add server-check-on function. Tool #4600: Commit e0e9828 pushed by zaneenders
August 27, 2024 16:18 3m 6s zane-server-clean-up
zane-server-clean-up
August 27, 2024 16:18 3m 6s
Merge pull request #976 from herbie-fp/faster-prune Tool #4599: Commit cd59a5a pushed by pavpanchekha
August 27, 2024 13:50 3m 23s main
main
August 27, 2024 13:50 3m 23s
testing rules Tool #4598: Commit f884391 pushed by JJponce0913
August 27, 2024 06:15 2m 11s add-inverses
add-inverses
August 27, 2024 06:15 2m 11s
Moving fp-safe to impl Tool #4597: Commit dd71ba6 pushed by varun10p
August 27, 2024 05:03 1m 48s varun10p-identities
varun10p-identities
August 27, 2024 05:03 1m 48s
Testing stuff Tool #4596: Commit d7da253 pushed by bhargavkulk
August 27, 2024 01:19 3m 17s bhargav-log-space
bhargav-log-space
August 27, 2024 01:19 3m 17s
batchified way to create an alternatives in run-rr Tool #4595: Commit 9f46d7a pushed by AYadrov
August 26, 2024 23:45 3m 12s artem-batch-rewrite
artem-batch-rewrite
August 26, 2024 23:45 3m 12s
introduced some new functions to batch that are to be used later Tool #4594: Commit 2640e9f pushed by AYadrov
August 26, 2024 23:13 3m 39s artem-batch-rewrite
artem-batch-rewrite
August 26, 2024 23:13 3m 39s
raco fmt Tool #4593: Commit cfb60db pushed by bksaiki
August 26, 2024 22:59 3m 7s faster-prune
faster-prune
August 26, 2024 22:59 3m 7s
switch to eq based tables Tool #4592: Commit 0328f68 pushed by bksaiki
August 26, 2024 22:23 4m 28s faster-prune
faster-prune
August 26, 2024 22:23 4m 28s
Woops Tool #4591: Commit 59ab5b6 pushed by pavpanchekha
August 26, 2024 22:20 3m 15s faster-worst
faster-worst
August 26, 2024 22:20 3m 15s
Only do comparison when necessary Tool #4590: Commit 317b99e pushed by pavpanchekha
August 26, 2024 22:17 3m 5s faster-worst
faster-worst
August 26, 2024 22:17 3m 5s
Inline (worst) in atab-prune Tool #4589: Commit fed80ee pushed by pavpanchekha
August 26, 2024 22:15 3m 49s faster-worst
faster-worst
August 26, 2024 22:15 3m 49s
maybe a better batch structure Tool #4588: Commit e41176b pushed by AYadrov
August 26, 2024 21:38 4m 17s artem-batch-rewrite
artem-batch-rewrite
August 26, 2024 21:38 4m 17s