Skip to content

Actions: herbie-fp/herbie

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
16,323 workflow runs
16,323 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Prune any e-class with at least one leaf e-node
Integration #6114: Commit c9389bd pushed by paulzzy
December 25, 2024 03:41 5m 14s prune-once-before-extraction
December 25, 2024 03:41 5m 14s
Prune any e-class with at least one leaf e-node
Plugins #5138: Commit c9389bd pushed by paulzzy
December 25, 2024 03:41 5m 55s prune-once-before-extraction
December 25, 2024 03:41 5m 55s
Prune any e-class with at least one leaf e-node
Unit tests #5138: Commit c9389bd pushed by paulzzy
December 25, 2024 03:41 5m 58s prune-once-before-extraction
December 25, 2024 03:41 5m 58s
Prune any e-class with at least one leaf e-node
Plugins #5137: Commit 50ea970 pushed by paulzzy
December 25, 2024 03:20 5m 58s prune-once-before-extraction
December 25, 2024 03:20 5m 58s
Prune any e-class with at least one leaf e-node
Unit tests #5137: Commit 50ea970 pushed by paulzzy
December 25, 2024 03:20 5m 29s prune-once-before-extraction
December 25, 2024 03:20 5m 29s
Prune any e-class with at least one leaf e-node
Integration #6113: Commit 50ea970 pushed by paulzzy
December 25, 2024 03:20 5m 35s prune-once-before-extraction
December 25, 2024 03:20 5m 35s
Prune more things TODO better commit message
Integration #6112: Commit 4d3f4f1 pushed by paulzzy
December 25, 2024 03:16 31s prune-once-before-extraction
December 25, 2024 03:16 31s
Prune more things TODO better commit message
Unit tests #5136: Commit 4d3f4f1 pushed by paulzzy
December 25, 2024 03:16 55s prune-once-before-extraction
December 25, 2024 03:16 55s
Prune more things TODO better commit message
Plugins #5136: Commit 4d3f4f1 pushed by paulzzy
December 25, 2024 03:16 27s prune-once-before-extraction
December 25, 2024 03:16 27s
Remove IterData::make, hopefully improves perf
Integration #6111: Commit 48337f6 pushed by paulzzy
December 24, 2024 20:17 5m 23s no-iterdata-make
December 24, 2024 20:17 5m 23s
Remove IterData::make, hopefully improves perf
Unit tests #5135: Commit 48337f6 pushed by paulzzy
December 24, 2024 20:17 5m 57s no-iterdata-make
December 24, 2024 20:17 5m 57s
Remove IterData::make, hopefully improves perf
Plugins #5135: Commit 48337f6 pushed by paulzzy
December 24, 2024 20:17 5m 59s no-iterdata-make
December 24, 2024 20:17 5m 59s
Restrict exponent in pow constant folding
Unit tests #5134: Commit 1fd16bf pushed by paulzzy
December 24, 2024 19:20 5m 30s prune-once-before-extraction
December 24, 2024 19:20 5m 30s
Restrict exponent in pow constant folding
Integration #6110: Commit 1fd16bf pushed by paulzzy
December 24, 2024 19:20 5m 20s prune-once-before-extraction
December 24, 2024 19:20 5m 20s
Restrict exponent in pow constant folding
Plugins #5134: Commit 1fd16bf pushed by paulzzy
December 24, 2024 19:20 5m 46s prune-once-before-extraction
December 24, 2024 19:20 5m 46s
Merge pull request #1107 from herbie-fp/cleanup-shell
Distribute #4407: Commit 531d180 pushed by pavpanchekha
December 24, 2024 04:13 10m 15s main
December 24, 2024 04:13 10m 15s
Merge pull request #1107 from herbie-fp/cleanup-shell
Integration #6109: Commit 531d180 pushed by pavpanchekha
December 24, 2024 04:13 5m 23s main
December 24, 2024 04:13 5m 23s
Merge pull request #1107 from herbie-fp/cleanup-shell
Plugins #5133: Commit 531d180 pushed by pavpanchekha
December 24, 2024 04:13 6m 11s main
December 24, 2024 04:13 6m 11s
Merge pull request #1107 from herbie-fp/cleanup-shell
Unit tests #5133: Commit 531d180 pushed by pavpanchekha
December 24, 2024 04:13 6m 0s main
December 24, 2024 04:13 6m 0s
Restrict exponent in pow constant folding
Plugins #5132: Commit 5acb07a pushed by paulzzy
December 24, 2024 01:02 5m 38s prune-once-before-extraction
December 24, 2024 01:02 5m 38s
Restrict exponent in pow constant folding
Unit tests #5132: Commit 5acb07a pushed by paulzzy
December 24, 2024 01:02 5m 45s prune-once-before-extraction
December 24, 2024 01:02 5m 45s
Restrict exponent in pow constant folding
Integration #6108: Commit 5acb07a pushed by paulzzy
December 24, 2024 01:02 5m 27s prune-once-before-extraction
December 24, 2024 01:02 5m 27s