Skip to content

Actions: egraphs-good/egg

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
200 workflow runs
200 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Push Pop API
Build and Test #576: Pull request #300 synchronize by dewert99
March 11, 2024 23:33 5m 26s dewert99:semi-persistent
March 11, 2024 23:33 5m 26s
Push Pop API
Build and Test #575: Pull request #300 synchronize by dewert99
March 8, 2024 18:51 7m 29s dewert99:semi-persistent
March 8, 2024 18:51 7m 29s
Push Pop API
Build and Test #574: Pull request #300 synchronize by dewert99
March 8, 2024 18:29 7m 35s dewert99:semi-persistent
March 8, 2024 18:29 7m 35s
pages build and deployment
pages-build-deployment #64: by github-pages bot
February 13, 2024 16:53 34s gh-pages
February 13, 2024 16:53 34s
Update readme
Build and Test #573: Commit 2718440 pushed by mwillsey
February 13, 2024 16:49 5m 16s main
February 13, 2024 16:49 5m 16s
Update readme
Publish Docs #114: Commit 2718440 pushed by mwillsey
February 13, 2024 16:49 3m 27s main
February 13, 2024 16:49 3m 27s
Push Pop API
Build and Test #572: Pull request #300 synchronize by dewert99
February 13, 2024 00:11 6m 35s dewert99:semi-persistent
February 13, 2024 00:11 6m 35s
Push Pop API
Build and Test #571: Pull request #300 opened by dewert99
February 13, 2024 00:10 6m 49s dewert99:semi-persistent
February 13, 2024 00:10 6m 49s
Extracted out RawEGraph type
Build and Test #569: Pull request #296 synchronize by dewert99
February 11, 2024 00:57 5m 6s dewert99:raw-egraph
February 11, 2024 00:57 5m 6s
pages build and deployment
pages-build-deployment #63: by github-pages bot
February 9, 2024 22:03 31s gh-pages
February 9, 2024 22:03 31s
Add note in is_not_zero example.
Build and Test #568: Commit 38be469 pushed by mwillsey
February 9, 2024 21:59 5m 12s main
February 9, 2024 21:59 5m 12s
Add note in is_not_zero example.
Publish Docs #113: Commit 38be469 pushed by mwillsey
February 9, 2024 21:59 3m 32s main
February 9, 2024 21:59 3m 32s
Extracted out RawEGraph type
Build and Test #567: Pull request #296 synchronize by dewert99
February 8, 2024 01:14 5m 8s dewert99:raw-egraph
February 8, 2024 01:14 5m 8s
Extracted out RawEGraph type
Build and Test #566: Pull request #296 opened by dewert99
February 6, 2024 19:16 5m 17s dewert99:raw-egraph
February 6, 2024 19:16 5m 17s
Generic analysis
Build and Test #565: Pull request #293 opened by dewert99
January 12, 2024 23:19 2m 35s dewert99:generic_analysis
January 12, 2024 23:19 2m 35s
Add nodes field to EGraph
Build and Test #564: Pull request #291 synchronize by dewert99
January 4, 2024 03:22 3m 28s dewert99:egraph_nodes
January 4, 2024 03:22 3m 28s
Add nodes field to EGraph
Build and Test #563: Pull request #291 synchronize by dewert99
January 3, 2024 21:09 4m 34s dewert99:egraph_nodes
January 3, 2024 21:09 4m 34s
Add nodes field to EGraph
Build and Test #562: Pull request #291 synchronize by dewert99
January 3, 2024 20:35 4m 8s dewert99:egraph_nodes
January 3, 2024 20:35 4m 8s
Add nodes field to EGraph
Build and Test #561: Pull request #291 opened by dewert99
January 3, 2024 20:12 3m 50s dewert99:egraph_nodes
January 3, 2024 20:12 3m 50s
Added push/pop API
Build and Test #560: Pull request #290 synchronize by dewert99
January 2, 2024 23:37 3m 20s dewert99:semi-persistent2
January 2, 2024 23:37 3m 20s
Added push/pop API
Build and Test #559: Pull request #290 opened by dewert99
January 2, 2024 23:31 3m 43s dewert99:semi-persistent2
January 2, 2024 23:31 3m 43s
pages build and deployment
pages-build-deployment #62: by github-pages bot
December 24, 2023 23:48 30s gh-pages
December 24, 2023 23:48 30s
Make explain_id_equivalence public (#289)
Build and Test #558: Commit 812c76c pushed by mwillsey
December 24, 2023 23:46 3m 25s main
December 24, 2023 23:46 3m 25s
Make explain_id_equivalence public (#289)
Publish Docs #112: Commit 812c76c pushed by mwillsey
December 24, 2023 23:46 1m 36s main
December 24, 2023 23:46 1m 36s
Make explain_id_equivalence public
Build and Test #557: Pull request #289 synchronize by dewert99
December 22, 2023 23:46 3m 26s dewert99:non-canonical
December 22, 2023 23:46 3m 26s