Skip to content

Actions: egraphs-good/eggcc

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
3,985 workflow runs
3,985 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Refactor passes dag_in_context tests
Test #3888: Commit 02b0735 pushed by Alex-Fischman
May 29, 2024 19:51 1m 9s fix-state-passthrough
May 29, 2024 19:51 1m 9s
Merge pull request #613 from egraphs-good/oflatt-fix-local-nightly
Test #3887: Commit 34e1a85 pushed by oflatt
May 29, 2024 19:47 10m 57s main
May 29, 2024 19:47 10m 57s
Merge pull request #614 from egraphs-good/oflatt-better-names
Test #3886: Commit 6adeaf8 pushed by oflatt
May 29, 2024 19:20 10m 39s main
May 29, 2024 19:20 10m 39s
snapshots
Test #3885: Commit e8ecb97 pushed by oflatt
May 29, 2024 18:42 11m 1s oflatt-primes-between
May 29, 2024 18:42 11m 1s
Better names to distinguish blocks and variables
Test #3884: Pull request #614 synchronize by oflatt
May 29, 2024 18:38 10m 42s oflatt-better-names
May 29, 2024 18:38 10m 42s
snapshots
Test #3883: Commit bb4b990 pushed by oflatt
May 29, 2024 18:38 10m 53s oflatt-better-names
May 29, 2024 18:38 10m 53s
Better names to distinguish blocks and variables
Test #3882: Pull request #614 synchronize by oflatt
May 29, 2024 18:36 9m 36s oflatt-better-names
May 29, 2024 18:36 9m 36s
Test
Test #3881: by oflatt
May 29, 2024 18:34 10m 15s oflatt-better-names
May 29, 2024 18:34 10m 15s
Better names to distinguish blocks and variables
Test #3880: Pull request #614 opened by oflatt
May 29, 2024 18:34 9m 12s oflatt-better-names
May 29, 2024 18:34 9m 12s
Fix up local nightly script
Test #3879: Pull request #613 synchronize by oflatt
May 29, 2024 18:23 11m 22s oflatt-fix-local-nightly
May 29, 2024 18:23 11m 22s
cargo lock
Test #3878: Commit 915481e pushed by oflatt
May 29, 2024 18:23 12m 11s oflatt-fix-local-nightly
May 29, 2024 18:23 12m 11s
better names
Test #3877: Commit cfa288b pushed by oflatt
May 29, 2024 18:20 9m 13s oflatt-better-names
May 29, 2024 18:20 9m 13s
Fix up local nightly script
Test #3876: Pull request #613 opened by oflatt
May 29, 2024 18:18 10m 9s oflatt-fix-local-nightly
May 29, 2024 18:18 10m 9s
fix up nightly to still show output
Test #3875: Commit 11249a6 pushed by oflatt
May 29, 2024 18:16 10m 53s oflatt-fix-local-nightly
May 29, 2024 18:16 10m 53s
Create UnionsAnd struct
Test #3872: Commit 2a9125a pushed by Alex-Fischman
May 29, 2024 17:31 11m 54s fix-state-passthrough
May 29, 2024 17:31 11m 54s
Add bril ops
Test #3871: Pull request #611 synchronize by ajpal
May 29, 2024 16:15 10m 8s ajpal-bril-ops
May 29, 2024 16:15 10m 8s
bump bril
Test #3870: Commit 413d489 pushed by ajpal
May 29, 2024 16:15 11m 36s ajpal-bril-ops
May 29, 2024 16:15 11m 36s
get rule to typecheck
Test #3869: Commit f831682 pushed by yihozhang
May 29, 2024 07:57 11m 31s yihozhang-ivt-dag-in-context
May 29, 2024 07:57 11m 31s
first attempt
Test #3868: Commit 68e9a89 pushed by yihozhang
May 29, 2024 07:37 2m 30s yihozhang-ivt-dag-in-context
May 29, 2024 07:37 2m 30s
Merge pull request #612 from egraphs-good/ajpal-loop-benchmarks
Test #3867: Commit b8d3596 pushed by ajpal
May 28, 2024 21:23 10m 43s main
May 28, 2024 21:23 10m 43s
Filter benchmarks by looped
Test #3866: Pull request #612 synchronize by ajpal
May 28, 2024 21:05 11m 1s ajpal-loop-benchmarks
May 28, 2024 21:05 11m 1s
prettier
Test #3865: Commit 70f1d1b pushed by ajpal
May 28, 2024 21:05 11m 34s ajpal-loop-benchmarks
May 28, 2024 21:05 11m 34s
Filter benchmarks by looped
Test #3864: Pull request #612 synchronize by ajpal
May 28, 2024 21:05 11m 16s ajpal-loop-benchmarks
May 28, 2024 21:05 11m 16s