Skip to content

Actions: herbie-fp/herbie

Actions

Integration

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
tests.yml
2,743 workflow runs
2,743 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix rule testing and skip log-pow Integration #8052: Commit 9b8e6a7 pushed by pavpanchekha
4m 43s codex/add-extraction-for-sound--operations
codex/add-extraction-for-sound--operations
4m 43s
This one is unsound Integration #8051: Commit a3b0545 pushed by pavpanchekha
4m 50s codex/add-extraction-for-sound--operations
codex/add-extraction-for-sound--operations
4m 50s
Uncomment several unsound rules Integration #8050: Commit 25ae61f pushed by pavpanchekha
2m 56s codex/add-extraction-for-sound--operations
codex/add-extraction-for-sound--operations
2m 56s
update rust in nightly Integration #8049: Commit 9e8c34a pushed by noahhuck
6m 2s update-egglog
update-egglog
6m 2s
Just disable all unsound rules, probably we can bring some back Integration #8048: Commit f819c03 pushed by pavpanchekha
3m 1s codex/add-extraction-for-sound--operations
codex/add-extraction-for-sound--operations
3m 1s
Just disable all unsound rules, probably we can bring some back Integration #8047: Commit d6aab76 pushed by pavpanchekha
2m 40s codex/add-extraction-for-sound--operations
codex/add-extraction-for-sound--operations
2m 40s
Fix proofs of soundness Integration #8046: Commit 6b7931d pushed by pavpanchekha
4m 49s codex/add-extraction-for-sound--operations
codex/add-extraction-for-sound--operations
4m 49s
fmt, AGENTS.md twekas Integration #8045: Commit 6dc1508 pushed by pavpanchekha
4m 43s codex/add-extraction-for-sound--operations
codex/add-extraction-for-sound--operations
4m 43s
Allow lowering to look at sound operations Integration #8044: Commit 3e6e477 pushed by pavpanchekha
4m 45s codex/add-extraction-for-sound--operations
codex/add-extraction-for-sound--operations
4m 45s
full bench Integration #8043: Commit fe30e7a pushed by JonasRegehr
5m 3s grow-libm
grow-libm
5m 3s
More sound rules (mostly using fabs) Integration #8042: Commit fd4227e pushed by pavpanchekha
4m 34s codex/add-extraction-for-sound--operations
codex/add-extraction-for-sound--operations
4m 34s
Merge pull request #1407 from herbie-fp/kalman-filter-benchmarks Integration #8041: Commit 8ff70ad pushed by pavpanchekha
4m 26s main
main
4m 26s
Merge remote-tracking branch 'origin/main' into codex/add-extraction-… Integration #8040: Commit a641cc4 pushed by pavpanchekha
4m 31s codex/add-extraction-for-sound--operations
codex/add-extraction-for-sound--operations
4m 31s
Merge pull request #1410 from herbie-fp/egglog-dump Integration #8039: Commit 5cd0f16 pushed by pavpanchekha
4m 54s main
main
4m 54s
Merge pull request #1409 from herbie-fp/why-egraph-big Integration #8038: Commit 8d12a79 pushed by pavpanchekha
5m 1s main
main
5m 1s
update egglog to 1.0.0 Integration #8037: Commit 0da63ad pushed by noahhuck
6m 4s update-egglog
update-egglog
6m 4s
label dump-egglog outputs Integration #8036: Commit a065483 pushed by noahhuck
4m 43s egglog-dump
egglog-dump
4m 43s
run omerc Integration #8035: Commit 236e375 pushed by JonasRegehr
8m 3s growlibm-newbench
growlibm-newbench
8m 3s
run tmerc Integration #8034: Commit 1a08917 pushed by JonasRegehr
7m 11s grow-libm
grow-libm
7m 11s
Merge branch 'grow-libm' into growlibm-newbench Integration #8033: Commit 129e777 pushed by JonasRegehr
7m 11s growlibm-newbench
growlibm-newbench
7m 11s
update scripts Integration #8032: Commit 4088b7f pushed by JonasRegehr
5m 20s grow-libm
grow-libm
5m 20s
tmerc, omerc, benchmark instructions Integration #8031: Commit 6e93d40 pushed by JonasRegehr
5m 28s grow-libm
grow-libm
5m 28s
Ignore vscode files Integration #8030: Commit 53b0013 pushed by JonasRegehr
7m 32s grow-libm
grow-libm
7m 32s
fmt Integration #8029: Commit 6857554 pushed by pavpanchekha
4m 30s why-egraph-big
why-egraph-big
4m 30s
Fix #1372 Integration #8028: Commit 60f8683 pushed by pavpanchekha
4m 44s why-egraph-big
why-egraph-big
4m 44s