Skip to content

Actions: herbie-fp/herbie

Actions

Plugins

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
plugins.yml
3,392 workflow runs
3,392 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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 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
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
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 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
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
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
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
avoiding map to debug the reasons of slowdown at rewrite stage Plugins #5365: Commit f0c76e3 pushed by AYadrov
February 7, 2025 21:34 2m 4s really-crazy-encodings
really-crazy-encodings
February 7, 2025 21:34 2m 4s
Finished implementation - still timeout Plugins #5364: Commit 11f613b pushed by JPepperwood123
February 7, 2025 21:21 2m 0s aditya-egglog-develop
aditya-egglog-develop
February 7, 2025 21:21 2m 0s
Changed program structure Plugins #5363: Commit d4fb8be pushed by JPepperwood123
February 7, 2025 10:53 2m 4s aditya-egglog-develop
aditya-egglog-develop
February 7, 2025 10:53 2m 4s
aditya-egglog-develop Added egglog-program Plugins #5362: Commit 4eea220 pushed by JPepperwood123
February 6, 2025 22:45 2m 5s aditya-egglog-develop
aditya-egglog-develop
February 6, 2025 22:45 2m 5s
Added manual workflow trigger Plugins #5361: Commit e9fd019 pushed by parthrdesai
February 6, 2025 22:45 5m 41s parth-binary
parth-binary
February 6, 2025 22:45 5m 41s
debugging - false Plugins #5360: Commit 37175de pushed by AYadrov
February 6, 2025 01:51 2m 27s really-crazy-encodings
really-crazy-encodings
February 6, 2025 01:51 2m 27s
added approx rules back + removed useless code Plugins #5359: Commit 68548f7 pushed by AYadrov
February 6, 2025 01:45 2m 27s really-crazy-encodings
really-crazy-encodings
February 6, 2025 01:45 2m 27s
we do not need rules for approx Plugins #5358: Commit 9b8154a pushed by AYadrov
February 5, 2025 23:53 2m 19s really-crazy-encodings
really-crazy-encodings
February 5, 2025 23:53 2m 19s
bug with cycles at enode-type Plugins #5357: Commit 36d2b98 pushed by AYadrov
February 5, 2025 21:18 2m 1s really-crazy-encodings
really-crazy-encodings
February 5, 2025 21:18 2m 1s
Revert "Merge branch 'main' of https://github.com/herbie-fp/herbie in… Plugins #5356: Commit 2ed67d6 pushed by JPepperwood123
February 5, 2025 20:28 2m 7s aditya-egglog-develop
aditya-egglog-develop
February 5, 2025 20:28 2m 7s
Merge branch 'main' of https://github.com/herbie-fp/herbie into adity… Plugins #5355: Commit b1e6062 pushed by JPepperwood123
February 5, 2025 20:23 1m 35s aditya-egglog-develop
aditya-egglog-develop
February 5, 2025 20:23 1m 35s
proofs don't work, disabled for now Plugins #5354: Commit 41bac16 pushed by AYadrov
February 5, 2025 20:19 2m 7s really-crazy-encodings
really-crazy-encodings
February 5, 2025 20:19 2m 7s
a fix with enode-type of Plugins #5353: Commit ddf86e3 pushed by AYadrov
February 5, 2025 20:00 2m 51s really-crazy-encodings
really-crazy-encodings
February 5, 2025 20:00 2m 51s
updated nightly script Plugins #5352: Commit 1169f7e pushed by AYadrov
February 5, 2025 00:41 2m 20s really-crazy-encodings
really-crazy-encodings
February 5, 2025 00:41 2m 20s
removed dedup rules from lifting/lowering rules - they are not needed Plugins #5351: Commit 71a4759 pushed by AYadrov
February 5, 2025 00:28 3m 34s really-crazy-encodings
really-crazy-encodings
February 5, 2025 00:28 3m 34s
extraction works, but for some reasons spec gets mixed with impl Plugins #5350: Commit e392e31 pushed by AYadrov
February 4, 2025 22:47 2m 25s really-crazy-encodings
really-crazy-encodings
February 4, 2025 22:47 2m 25s
extraction works! Plugins #5349: Commit 33f5ffd pushed by AYadrov
February 4, 2025 03:49 2m 20s really-crazy-encodings
really-crazy-encodings
February 4, 2025 03:49 2m 20s