Skip to content

Actions: herbie-fp/herbie

Actions

Tool tests

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
102 workflow runs
102 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Only run the distribute tests on main/ Tool tests #4796: Commit e317e98 pushed by pavpanchekha
3m 3s only-distribute-on-main
only-distribute-on-main
3m 3s
Merge pull request #993 from herbie-fp/fix-casts Tool tests #4795: Commit 8171fb9 pushed by pavpanchekha
3m 4s main
main
3m 4s
Merge remote-tracking branch 'origin/fix-casts' into flonum-platform Tool tests #4794: Commit 418fec5 pushed by JonasRegehr
2m 57s flonum-platform
flonum-platform
2m 57s
Also fix (!) annotations in variable declarations Tool tests #4793: Commit 2cabb9a pushed by pavpanchekha
3m 48s fix-casts
fix-casts
3m 48s
Fmt Tool tests #4792: Commit 7895ea6 pushed by pavpanchekha
3m 5s fix-casts
fix-casts
3m 5s
Fix programs with casts and ! annotations Tool tests #4791: Commit 94bfd84 pushed by pavpanchekha
3m 5s fix-casts
fix-casts
3m 5s
Merge pull request #992 from herbie-fp/fmt-tweaks Tool tests #4790: Commit 3aeb648 pushed by pavpanchekha
3m 25s main
main
3m 25s
Merge pull request #987 from herbie-fp/artem-batch-egg-input Tool tests #4789: Commit f998550 pushed by pavpanchekha
3m 24s main
main
3m 24s
added inverse rules Tool tests #4788: Commit 1c2de9d pushed by JJponce0913
2m 2s add-inverses
add-inverses
2m 2s
stuff Tool tests #4787: Commit 299389e pushed by bhargavkulk
3m 12s bhargav-log-space
bhargav-log-space
3m 12s
a little time saving where expr doesn't need to be pushed Tool tests #4786: Commit ac7e6d0 pushed by AYadrov
3m 17s artem-batch-finish-rewrite
artem-batch-finish-rewrite
3m 17s
Type-checking logic added Tool tests #4785: Commit 3a50b18 pushed by varun10p
2m 12s varun10p-identities
varun10p-identities
2m 12s
batchified reconstruct Tool tests #4784: Commit 30a022e pushed by AYadrov
3m 22s artem-batch-finish-rewrite
artem-batch-finish-rewrite
3m 22s
bug Tool tests #4783: Commit a80a0a7 pushed by AYadrov
2m 53s artem-batch-finish-rewrite
artem-batch-finish-rewrite
2m 53s
recurse on spec everywhere Tool tests #4782: Commit b0629e1 pushed by AYadrov
3m 3s artem-batch-finish-rewrite
artem-batch-finish-rewrite
3m 3s
a nice rewrite Tool tests #4781: Commit 1a2a641 pushed by AYadrov
3m 0s artem-batch-finish-rewrite
artem-batch-finish-rewrite
3m 0s
Merge pull request #991 from herbie-fp/zane-checkstatus-add-CORS Tool tests #4780: Commit 6490ee3 pushed by zaneenders
2m 57s main
main
2m 57s
Add CORS headers to checkstatus API Tool tests #4779: Commit fb5a696 pushed by zaneenders
3m 28s zane-checkstatus-add-CORS
zane-checkstatus-add-CORS
3m 28s
Add flonum.rkt platform Tool tests #4778: Commit daf7102 pushed by JonasRegehr
3m 0s flonum-platform
flonum-platform
3m 0s
expt Tool tests #4777: Commit 675a883 pushed by bhargavkulk
3m 23s bhargav-log-space
bhargav-log-space
3m 23s
Fixed formatting in timeline.rkt Tool tests #4776: Commit e7ec233 pushed by parthrdesai
2m 43s explanations-endpoint-revised
explanations-endpoint-revised
2m 43s
Merge branch 'main' into explanations-endpoint-revised Tool tests #4775: Commit 79834d1 pushed by parthrdesai
3m 26s explanations-endpoint-revised
explanations-endpoint-revised
3m 26s
log/exp Tool tests #4774: Commit 91466d4 pushed by bhargavkulk
3m 11s bhargav-log-space
bhargav-log-space
3m 11s
tan Tool tests #4773: Commit 0216676 pushed by bhargavkulk
2m 58s bhargav-log-space
bhargav-log-space
2m 58s
cos Tool tests #4772: Commit a203f84 pushed by bhargavkulk
3m 3s bhargav-log-space
bhargav-log-space
3m 3s