Skip to content

Actions: egraphs-good/eggcc

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
4,075 workflow runs
4,075 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

checkpoint Test #3903: Commit 09892e8 pushed by yihozhang
May 29, 2024 23:20 6h 0m 25s yihozhang-ivt-dag-in-context
yihozhang-ivt-dag-in-context
May 29, 2024 23:20 6h 0m 25s
More more snapshots Test #3902: Commit 534514a pushed by Alex-Fischman
May 29, 2024 23:14 4m 18s fix-state-passthrough
fix-state-passthrough
May 29, 2024 23:14 4m 18s
Merge pull request #611 from egraphs-good/ajpal-bril-ops Test #3901: Commit 698bac1 pushed by ajpal
May 29, 2024 23:11 11m 9s main
main
May 29, 2024 23:11 11m 9s
Snapshots Test #3900: Commit 223685d pushed by Alex-Fischman
May 29, 2024 23:06 6m 23s fix-state-passthrough
fix-state-passthrough
May 29, 2024 23:06 6m 23s
Disallow duplicate test names Test #3899: Pull request #616 synchronize by kirstenmg
May 29, 2024 23:04 9m 18s no-duplicate-tests
no-duplicate-tests
May 29, 2024 23:04 9m 18s
Disallow duplicate test names Test #3898: Commit fb36b97 pushed by kirstenmg
May 29, 2024 23:04 9m 37s no-duplicate-tests
no-duplicate-tests
May 29, 2024 23:04 9m 37s
Refactor all typechecks Test #3897: Commit 766b1ca pushed by Alex-Fischman
May 29, 2024 23:00 6m 6s fix-state-passthrough
fix-state-passthrough
May 29, 2024 23:00 6m 6s
Disallow duplicate test names Test #3896: Pull request #616 opened by kirstenmg
May 29, 2024 22:56 10m 21s no-duplicate-tests
no-duplicate-tests
May 29, 2024 22:56 10m 21s
Disallow duplicate test names Test #3895: Commit 107a669 pushed by kirstenmg
May 29, 2024 22:55 9m 28s no-duplicate-tests
no-duplicate-tests
May 29, 2024 22:55 9m 28s
Do the loop context unions! Test #3894: Commit e924277 pushed by Alex-Fischman
May 29, 2024 22:39 2m 6s fix-state-passthrough
fix-state-passthrough
May 29, 2024 22:39 2m 6s
Merge pull request #615 from egraphs-good/kirstenmg-type-rulesets Test #3893: Commit 0d33fc7 pushed by kirstenmg
May 29, 2024 22:30 11m 20s main
main
May 29, 2024 22:30 11m 20s
Add type helper error checking Test #3892: Pull request #615 opened by kirstenmg
May 29, 2024 22:10 15m 14s kirstenmg-type-rulesets
kirstenmg-type-rulesets
May 29, 2024 22:10 15m 14s
Add type helper error checking Test #3891: Commit fa073ba pushed by kirstenmg
May 29, 2024 22:08 14m 52s kirstenmg-type-rulesets
kirstenmg-type-rulesets
May 29, 2024 22:08 14m 52s
Add bril ops Test #3890: Pull request #611 synchronize by ajpal
May 29, 2024 20:02 11m 54s ajpal-bril-ops
ajpal-bril-ops
May 29, 2024 20:02 11m 54s
snapshots Test #3889: Commit 648df41 pushed by ajpal
May 29, 2024 20:02 11m 23s ajpal-bril-ops
ajpal-bril-ops
May 29, 2024 20:02 11m 23s
Refactor passes dag_in_context tests Test #3888: Commit 02b0735 pushed by Alex-Fischman
May 29, 2024 19:51 1m 9s fix-state-passthrough
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
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
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
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
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
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
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
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
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
oflatt-fix-local-nightly
May 29, 2024 18:23 11m 22s