Skip to content

Actions: herbie-fp/herbie

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
15,376 workflow runs
15,376 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

no lifting rules Integration #6351: Commit 5049367 pushed by AYadrov
February 11, 2025 03:15 2m 11s custom-lifting-lowering
custom-lifting-lowering
February 11, 2025 03:15 2m 11s
no lifting rules Unit tests #5373: Commit 5049367 pushed by AYadrov
February 11, 2025 03:15 3m 3s custom-lifting-lowering
custom-lifting-lowering
February 11, 2025 03:15 3m 3s
no lifting rules Plugins #5373: Commit 5049367 pushed by AYadrov
February 11, 2025 03:15 2m 51s custom-lifting-lowering
custom-lifting-lowering
February 11, 2025 03:15 2m 51s
Ran make fmt Unit tests #5372: Commit 4a06ff1 pushed by JPepperwood123
February 11, 2025 02:14 1m 44s aditya-egglog-develop
aditya-egglog-develop
February 11, 2025 02:14 1m 44s
Ran make fmt Integration #6350: Commit 4a06ff1 pushed by JPepperwood123
February 11, 2025 02:14 2m 6s aditya-egglog-develop
aditya-egglog-develop
February 11, 2025 02:14 2m 6s
Ran make fmt Plugins #5372: Commit 4a06ff1 pushed by JPepperwood123
February 11, 2025 02:14 1m 55s aditya-egglog-develop
aditya-egglog-develop
February 11, 2025 02:14 1m 55s
Resyntax Autofixer Resyntax Autofixer #15: Scheduled
February 9, 2025 01:23 6m 40s main
main
February 9, 2025 01:23 6m 40s
Fixed incorrect for loop expression Plugins #5371: Commit 91404b1 pushed by JPepperwood123
February 8, 2025 02:16 1m 59s aditya-egglog-develop
aditya-egglog-develop
February 8, 2025 02:16 1m 59s
Fixed incorrect for loop expression Unit tests #5371: Commit 91404b1 pushed by JPepperwood123
February 8, 2025 02:16 1m 50s aditya-egglog-develop
aditya-egglog-develop
February 8, 2025 02:16 1m 50s
Fixed incorrect for loop expression Integration #6349: Commit 91404b1 pushed by JPepperwood123
February 8, 2025 02:16 2m 0s aditya-egglog-develop
aditya-egglog-develop
February 8, 2025 02:16 2m 0s
fmt Unit tests #5370: Commit 0c9d212 pushed by pavpanchekha
February 7, 2025 22:14 6h 0m 21s server-change-order
server-change-order
February 7, 2025 22:14 6h 0m 21s
fmt Integration #6348: Commit 0c9d212 pushed by pavpanchekha
February 7, 2025 22:14 4m 29s server-change-order
server-change-order
February 7, 2025 22:14 4m 29s
fmt Plugins #5370: Commit 0c9d212 pushed by pavpanchekha
February 7, 2025 22:14 4m 41s server-change-order
server-change-order
February 7, 2025 22:14 4m 41s
Slight API change to keep all job stuff in one function Integration #6347: Commit 91b1729 pushed by pavpanchekha
February 7, 2025 22:11 4m 17s server-change-order
server-change-order
February 7, 2025 22:11 4m 17s
Slight API change to keep all job stuff in one function Plugins #5369: Commit 91b1729 pushed by pavpanchekha
February 7, 2025 22:11 5m 8s server-change-order
server-change-order
February 7, 2025 22:11 5m 8s
Slight API change to keep all job stuff in one function Unit tests #5369: Commit 91b1729 pushed by pavpanchekha
February 7, 2025 22:11 1m 46s server-change-order
server-change-order
February 7, 2025 22:11 1m 46s
Remove 'queue action in the server Plugins #5368: Commit c0b3761 pushed by pavpanchekha
February 7, 2025 22:03 4m 36s server-change-order
server-change-order
February 7, 2025 22:03 4m 36s
Remove 'queue action in the server Unit tests #5368: Commit c0b3761 pushed by pavpanchekha
February 7, 2025 22:03 2m 1s server-change-order
server-change-order
February 7, 2025 22:03 2m 1s
Remove 'queue action in the server Integration #6346: Commit c0b3761 pushed by pavpanchekha
February 7, 2025 22:03 4m 46s server-change-order
server-change-order
February 7, 2025 22:03 4m 46s
Make the single-threaded server actually run jobs in wait-for-job Plugins #5367: Commit d20359d pushed by pavpanchekha
February 7, 2025 21:56 5m 17s server-change-order
server-change-order
February 7, 2025 21:56 5m 17s
Make the single-threaded server actually run jobs in wait-for-job Integration #6345: Commit d20359d pushed by pavpanchekha
February 7, 2025 21:56 4m 44s server-change-order
server-change-order
February 7, 2025 21:56 4m 44s
Make the single-threaded server actually run jobs in wait-for-job Unit tests #5367: Commit d20359d pushed by pavpanchekha
February 7, 2025 21:56 1m 49s server-change-order
server-change-order
February 7, 2025 21:56 1m 49s
Use a mutable hash in update-flow-hash to hopefully speed things up Integration #6344: Commit 5d3b4e2 pushed by pavpanchekha
February 7, 2025 21:39 4m 20s faster-explain
faster-explain
February 7, 2025 21:39 4m 20s
Use a mutable hash in update-flow-hash to hopefully speed things up Unit tests #5366: Commit 5d3b4e2 pushed by pavpanchekha
February 7, 2025 21:39 4m 27s faster-explain
faster-explain
February 7, 2025 21:39 4m 27s
Use a mutable hash in update-flow-hash to hopefully speed things up Plugins #5366: Commit 5d3b4e2 pushed by pavpanchekha
February 7, 2025 21:39 4m 35s faster-explain
faster-explain
February 7, 2025 21:39 4m 35s