Skip to content

Actions: herbie-fp/herbie

Unit tests

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
3,387 workflow runs
3,387 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #1143 from herbie-fp/simplify-rewrite-in-one-shot
Unit tests #5326: Commit 328a3e6 pushed by pavpanchekha
January 27, 2025 04:22 4m 38s main
January 27, 2025 04:22 4m 38s
Merge branch 'main' into dump-rival
Unit tests #5324: Commit 5c378e9 pushed by pavpanchekha
January 26, 2025 03:49 4m 42s dump-rival
January 26, 2025 03:49 4m 42s
fmt
Unit tests #5323: Commit 94c8839 pushed by pavpanchekha
January 26, 2025 03:46 4m 55s dump-rival
January 26, 2025 03:46 4m 55s
Enable dumping Rival commands in Rival's native format
Unit tests #5322: Commit 184be4d pushed by pavpanchekha
January 26, 2025 03:46 1m 46s dump-rival
January 26, 2025 03:46 1m 46s
Woops
Unit tests #5321: Commit ed400e9 pushed by pavpanchekha
January 26, 2025 03:22 4m 40s fix-pi
January 26, 2025 03:22 4m 40s
Merge pull request #1139 from herbie-fp/autofix-13-1
Unit tests #5320: Commit c73a45c pushed by pavpanchekha
January 26, 2025 03:22 5m 48s main
January 26, 2025 03:22 5m 48s
Fix TeXification of named constants like PI
Unit tests #5319: Commit 6dea6de pushed by pavpanchekha
January 26, 2025 03:17 2m 54s fix-pi
January 26, 2025 03:17 2m 54s
Avoid "white page" error
Unit tests #5318: Commit c1ce189 pushed by pavpanchekha
January 26, 2025 03:02 5m 7s fix-derivation-reports
January 26, 2025 03:02 5m 7s
fmt
Unit tests #5317: Commit 65af3d2 pushed by pavpanchekha
January 26, 2025 02:12 4m 37s fix-derivation-reports
January 26, 2025 02:12 4m 37s
Merge pull request #1138 from herbie-fp/add-input-placeholder-prefix
Unit tests #5314: Commit d6bc004 pushed by pavpanchekha
January 24, 2025 23:29 4m 49s main
January 24, 2025 23:29 4m 49s
changed name
Unit tests #5313: Commit e06af2c pushed by parthrdesai
January 24, 2025 19:26 4m 54s parth-binary
January 24, 2025 19:26 4m 54s
added demo yml file to check
Unit tests #5312: Commit 3c9eac5 pushed by parthrdesai
January 24, 2025 19:12 4m 57s parth-binary
January 24, 2025 19:12 4m 57s
Merge pull request #1133 from herbie-fp/min-max-optimizations-support
Unit tests #5311: Commit 8deafaa pushed by parthrdesai
January 24, 2025 19:11 4m 56s parth-binary
January 24, 2025 19:11 4m 56s
Add "e.g." to placeholder text
Unit tests #5310: Commit 6e1bf1d pushed by elmisback
January 24, 2025 02:26 5m 8s add-input-placeholder-prefix
January 24, 2025 02:26 5m 8s
Merge pull request #1133 from herbie-fp/min-max-optimizations-support
Unit tests #5308: Commit 8deafaa pushed by AYadrov
January 24, 2025 01:24 4m 51s main
January 24, 2025 01:24 4m 51s
Bump enode count to 20k
Unit tests #5307: Commit bda7750 pushed by pavpanchekha
January 23, 2025 01:02 5m 57s no-localize-bump-enodes
January 23, 2025 01:02 5m 57s
Merge pull request #1135 from herbie-fp/simplify-testApi
Unit tests #5306: Commit 896f1ee pushed by pavpanchekha
January 23, 2025 00:29 5m 9s main
January 23, 2025 00:29 5m 9s
Minor improvements
Unit tests #5305: Commit 15ba853 pushed by pavpanchekha
January 22, 2025 23:59 5m 4s simplify-testApi
January 22, 2025 23:59 5m 4s
Merge branch 'main' into no-localize
Unit tests #5304: Commit 68e0d03 pushed by pavpanchekha
January 22, 2025 23:42 5m 34s no-localize
January 22, 2025 23:42 5m 34s
Woops
Unit tests #5303: Commit bb44dfd pushed by pavpanchekha
January 22, 2025 23:38 4m 56s simplify-testApi
January 22, 2025 23:38 4m 56s
added analyze hint optimization
Unit tests #5302: Commit 092c3a1 pushed by AYadrov
January 22, 2025 17:36 5m 54s min-max-optimizations-support
January 22, 2025 17:36 5m 54s