Skip to content

Actions: herbie-fp/herbie

Actions

Distribute

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
distribute.yml
429 workflow runs
429 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Revert "Revert "a little time saving where expr doesn't need to be pu… Distribute #4281: Commit b7e5341 pushed by AYadrov
12m 22s artem-batch-finish-rewrite
artem-batch-finish-rewrite
12m 22s
Revert "bug" Distribute #4280: Commit 3d1a9c2 pushed by AYadrov
11m 3s artem-batch-finish-rewrite
artem-batch-finish-rewrite
11m 3s
Merge pull request #989 from herbie-fp/dump-egraph Distribute #4279: Commit 413bec8 pushed by pavpanchekha
12m 12s main
main
12m 12s
Merge pull request #993 from herbie-fp/fix-casts Distribute #4278: Commit 8171fb9 pushed by pavpanchekha
12m 49s main
main
12m 49s
Merge remote-tracking branch 'origin/fix-casts' into flonum-platform Distribute #4277: Commit 418fec5 pushed by JonasRegehr
3m 23s flonum-platform
flonum-platform
3m 23s
Also fix (!) annotations in variable declarations Distribute #4276: Commit 2cabb9a pushed by pavpanchekha
13m 57s fix-casts
fix-casts
13m 57s
Fmt Distribute #4275: Commit 7895ea6 pushed by pavpanchekha
11m 25s fix-casts
fix-casts
11m 25s
Fix programs with casts and ! annotations Distribute #4274: Commit 94bfd84 pushed by pavpanchekha
11m 21s fix-casts
fix-casts
11m 21s
Merge pull request #992 from herbie-fp/fmt-tweaks Distribute #4273: Commit 3aeb648 pushed by pavpanchekha
12m 10s main
main
12m 10s
Merge pull request #987 from herbie-fp/artem-batch-egg-input Distribute #4272: Commit f998550 pushed by pavpanchekha
21m 9s main
main
21m 9s
added inverse rules Distribute #4271: Commit 1c2de9d pushed by JJponce0913
1m 11s add-inverses
add-inverses
1m 11s
stuff Distribute #4270: Commit 299389e pushed by bhargavkulk
11m 19s bhargav-log-space
bhargav-log-space
11m 19s
a little time saving where expr doesn't need to be pushed Distribute #4269: Commit ac7e6d0 pushed by AYadrov
16m 28s artem-batch-finish-rewrite
artem-batch-finish-rewrite
16m 28s
Type-checking logic added Distribute #4268: Commit 3a50b18 pushed by varun10p
1m 10s varun10p-identities
varun10p-identities
1m 10s
batchified reconstruct Distribute #4267: Commit 30a022e pushed by AYadrov
12m 18s artem-batch-finish-rewrite
artem-batch-finish-rewrite
12m 18s
bug Distribute #4266: Commit a80a0a7 pushed by AYadrov
16m 44s artem-batch-finish-rewrite
artem-batch-finish-rewrite
16m 44s
recurse on spec everywhere Distribute #4265: Commit b0629e1 pushed by AYadrov
13m 3s artem-batch-finish-rewrite
artem-batch-finish-rewrite
13m 3s
a nice rewrite Distribute #4264: Commit 1a2a641 pushed by AYadrov
16m 8s artem-batch-finish-rewrite
artem-batch-finish-rewrite
16m 8s
Merge pull request #991 from herbie-fp/zane-checkstatus-add-CORS Distribute #4263: Commit 6490ee3 pushed by zaneenders
13m 54s main
main
13m 54s
Add CORS headers to checkstatus API Distribute #4262: Commit fb5a696 pushed by zaneenders
10m 57s zane-checkstatus-add-CORS
zane-checkstatus-add-CORS
10m 57s
Add flonum.rkt platform Distribute #4261: Commit daf7102 pushed by JonasRegehr
2m 20s flonum-platform
flonum-platform
2m 20s
expt Distribute #4260: Commit 675a883 pushed by bhargavkulk
11m 12s bhargav-log-space
bhargav-log-space
11m 12s
Fixed formatting in timeline.rkt Distribute #4259: Commit e7ec233 pushed by parthrdesai
3m 0s explanations-endpoint-revised
explanations-endpoint-revised
3m 0s
Merge branch 'main' into explanations-endpoint-revised Distribute #4258: Commit 79834d1 pushed by parthrdesai
4m 58s explanations-endpoint-revised
explanations-endpoint-revised
4m 58s
log/exp Distribute #4257: Commit 91466d4 pushed by bhargavkulk
12m 46s bhargav-log-space
bhargav-log-space
12m 46s
ProTip! You can narrow down the results and go further in time using created:<2024-09-23 or the other filters available.