Skip to content

Actions: herbie-fp/herbie

Actions

Unit tests

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
unit-test.yml
3,386 workflow runs
3,386 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

bug Unit tests #5276: Commit 98301ea pushed by AYadrov
January 21, 2025 21:00 1m 56s min-max-optimizations-support
min-max-optimizations-support
January 21, 2025 21:00 1m 56s
slight changes to make code look better + fmt Unit tests #5275: Commit d371c13 pushed by AYadrov
January 21, 2025 19:45 3m 8s min-max-optimizations-support
min-max-optimizations-support
January 21, 2025 19:45 3m 8s
Merge pull request #1132 from herbie-fp/fix-derivations Unit tests #5274: Commit 84665d5 pushed by pavpanchekha
January 21, 2025 00:02 6m 11s main
main
January 21, 2025 00:02 6m 11s
Fix derivations, it's equal? not eq? Unit tests #5273: Commit 064dc07 pushed by pavpanchekha
January 20, 2025 22:48 6m 16s fix-derivations
fix-derivations
January 20, 2025 22:48 6m 16s
contract bug fix Unit tests #5272: Commit 39a4b18 pushed by AYadrov
January 20, 2025 22:34 1m 54s min-max-optimizations-support
min-max-optimizations-support
January 20, 2025 22:34 1m 54s
merged main Unit tests #5271: Commit 91d8533 pushed by AYadrov
January 20, 2025 22:29 2m 6s min-max-optimizations-support
min-max-optimizations-support
January 20, 2025 22:29 2m 6s
raco fmt + removed useless function Unit tests #5270: Commit d49a1a6 pushed by AYadrov
January 20, 2025 22:12 2m 3s min-max-optimizations-support
min-max-optimizations-support
January 20, 2025 22:12 2m 3s
rival got updated, no need for the rule at Makefile + raco fmt Unit tests #5269: Commit b4cbf28 pushed by AYadrov
January 20, 2025 21:57 2m 0s min-max-optimizations-support
min-max-optimizations-support
January 20, 2025 21:57 2m 0s
updating rival at installation Unit tests #5268: Commit 5db7003 pushed by AYadrov
January 20, 2025 21:51 2m 23s min-max-optimizations-support
min-max-optimizations-support
January 20, 2025 21:51 2m 23s
Merge pull request #1130 from herbie-fp/unbatch-derivations Unit tests #5267: Commit bb83a5a pushed by pavpanchekha
January 20, 2025 04:03 5m 43s main
main
January 20, 2025 04:03 5m 43s
Merge branch 'main' into unbatch-derivations Unit tests #5266: Commit e9051f6 pushed by pavpanchekha
January 20, 2025 04:01 5m 47s unbatch-derivations
unbatch-derivations
January 20, 2025 04:01 5m 47s
Merge pull request #1129 from herbie-fp/autofix-12-1 Unit tests #5265: Commit d03acf0 pushed by pavpanchekha
January 20, 2025 03:57 5m 48s main
main
January 20, 2025 03:57 5m 48s
Woops! Unit tests #5264: Commit e83f62c pushed by pavpanchekha
January 20, 2025 03:56 5m 53s unbatch-derivations
unbatch-derivations
January 20, 2025 03:56 5m 53s
Subtle but important typo! Unit tests #5263: Commit 41043f5 pushed by pavpanchekha
January 20, 2025 03:54 9m 27s unbatch-derivations
unbatch-derivations
January 20, 2025 03:54 9m 27s
Merge pull request #1131 from herbie-fp/simplify-server Unit tests #5262: Commit 42d9ae4 pushed by pavpanchekha
January 20, 2025 03:41 5m 40s main
main
January 20, 2025 03:41 5m 40s
Remove unnecessary (?) print Unit tests #5261: Commit 17d17eb pushed by pavpanchekha
January 20, 2025 03:30 5m 57s simplify-server
simplify-server
January 20, 2025 03:30 5m 57s
Minor Unit tests #5260: Commit 78187da pushed by pavpanchekha
January 20, 2025 03:22 5m 21s simplify-server
simplify-server
January 20, 2025 03:22 5m 21s
Woops, typo Unit tests #5259: Commit 829a277 pushed by pavpanchekha
January 20, 2025 01:23 5m 2s simplify-server
simplify-server
January 20, 2025 01:23 5m 2s
Woops, no test here either Unit tests #5258: Commit 0d0a6fb pushed by pavpanchekha
January 20, 2025 01:14 3m 3s simplify-server
simplify-server
January 20, 2025 01:14 3m 3s
Add an alt cache for proofs Unit tests #5257: Commit b943145 pushed by pavpanchekha
January 20, 2025 01:13 2h 19m 22s unbatch-derivations
unbatch-derivations
January 20, 2025 01:13 2h 19m 22s
Alphabetize job types Unit tests #5256: Commit e5124e7 pushed by pavpanchekha
January 20, 2025 01:00 2m 51s simplify-server
simplify-server
January 20, 2025 01:00 2m 51s
Woops Unit tests #5255: Commit 477d47d pushed by pavpanchekha
January 20, 2025 00:59 3m 1s simplify-server
simplify-server
January 20, 2025 00:59 3m 1s
Factor out common JSON fields Unit tests #5254: Commit 5ceb933 pushed by pavpanchekha
January 20, 2025 00:53 2m 53s simplify-server
simplify-server
January 20, 2025 00:53 2m 53s
Refactor the JSON conversion in the server Unit tests #5253: Commit cedd1b0 pushed by pavpanchekha
January 20, 2025 00:44 1m 50s simplify-server
simplify-server
January 20, 2025 00:44 1m 50s
Remove unused imports Unit tests #5252: Commit 9934a04 pushed by pavpanchekha
January 20, 2025 00:32 3h 30m 57s unbatch-derivations
unbatch-derivations
January 20, 2025 00:32 3h 30m 57s