Skip to content

Actions: egraphs-good/egg

Actions

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

pages build and deployment pages-build-deployment #67: by github-pages bot
April 3, 2024 19:06 28s gh-pages
gh-pages
April 3, 2024 19:06 28s
Add example in doc comment of 'RecExpr' (#308) Build and Test #594: Commit 6401363 pushed by mwillsey
April 3, 2024 19:04 3m 4s main
main
April 3, 2024 19:04 3m 4s
Add example in doc comment of 'RecExpr' (#308) Publish Docs #118: Commit 6401363 pushed by mwillsey
April 3, 2024 19:04 1m 30s main
main
April 3, 2024 19:04 1m 30s
Add nodes field to EGraph (#291) Build and Test #593: Commit 3231b86 pushed by mwillsey
April 3, 2024 19:04 3m 21s main
main
April 3, 2024 19:04 3m 21s
Add nodes field to EGraph (#291) Publish Docs #117: Commit 3231b86 pushed by mwillsey
April 3, 2024 19:04 40m 47s main
main
April 3, 2024 19:04 40m 47s
Add example in doc comment of 'RecExpr' Build and Test #592: Pull request #308 synchronize by marcusrossel
April 3, 2024 14:56 5m 14s marcusrossel:main
marcusrossel:main
April 3, 2024 14:56 5m 14s
Add nodes field to EGraph Build and Test #591: Pull request #291 synchronize by dewert99
April 3, 2024 01:50 3m 30s dewert99:egraph_nodes
dewert99:egraph_nodes
April 3, 2024 01:50 3m 30s
Add example in doc comment of 'RecExpr' Build and Test #590: Pull request #308 opened by marcusrossel
April 2, 2024 15:26 3m 24s marcusrossel:main
marcusrossel:main
April 2, 2024 15:26 3m 24s
pages build and deployment pages-build-deployment #66: by github-pages bot
March 22, 2024 22:41 43s gh-pages
gh-pages
March 22, 2024 22:41 43s
Add way to create numeric variables without parsing Build and Test #589: Commit c7e9284 pushed by mwillsey
March 22, 2024 22:40 15m 31s main
main
March 22, 2024 22:40 15m 31s
Add way to create numeric variables without parsing Publish Docs #116: Commit c7e9284 pushed by mwillsey
March 22, 2024 22:40 1m 12s main
main
March 22, 2024 22:40 1m 12s
Add nodes field to EGraph Build and Test #588: Pull request #291 synchronize by dewert99
March 21, 2024 22:34 2m 44s dewert99:egraph_nodes
dewert99:egraph_nodes
March 21, 2024 22:34 2m 44s
Add nodes field to EGraph Build and Test #587: Pull request #291 synchronize by dewert99
March 21, 2024 22:17 1m 52s dewert99:egraph_nodes
dewert99:egraph_nodes
March 21, 2024 22:17 1m 52s
pages build and deployment pages-build-deployment #65: by github-pages bot
March 21, 2024 16:47 32s gh-pages
gh-pages
March 21, 2024 16:47 32s
Translate between EGraph types (#306) Build and Test #586: Commit ec37e2f pushed by mwillsey
March 21, 2024 16:45 3m 10s main
main
March 21, 2024 16:45 3m 10s
Translate between EGraph types (#306) Publish Docs #115: Commit ec37e2f pushed by mwillsey
March 21, 2024 16:45 1m 14s main
main
March 21, 2024 16:45 1m 14s
Extracted out RawEGraph type Build and Test #585: Pull request #296 synchronize by dewert99
March 21, 2024 16:42 3m 4s dewert99:raw-egraph
dewert99:raw-egraph
March 21, 2024 16:42 3m 4s
Extracted out RawEGraph type Build and Test #584: Pull request #296 synchronize by dewert99
March 21, 2024 00:09 3m 18s dewert99:raw-egraph
dewert99:raw-egraph
March 21, 2024 00:09 3m 18s
Add nodes field to EGraph Build and Test #583: Pull request #291 synchronize by dewert99
March 20, 2024 21:58 49m 45s dewert99:egraph_nodes
dewert99:egraph_nodes
March 20, 2024 21:58 49m 45s
Add nodes field to EGraph Build and Test #582: Pull request #291 synchronize by dewert99
March 20, 2024 21:34 51m 30s dewert99:egraph_nodes
dewert99:egraph_nodes
March 20, 2024 21:34 51m 30s
Translate between EGraph types Build and Test #581: Pull request #306 synchronize by sgpthomas
March 20, 2024 21:30 3m 10s sgpthomas:egraph_map
sgpthomas:egraph_map
March 20, 2024 21:30 3m 10s
Translate between EGraph types Build and Test #580: Pull request #306 synchronize by sgpthomas
March 20, 2024 19:17 1m 39s sgpthomas:egraph_map
sgpthomas:egraph_map
March 20, 2024 19:17 1m 39s
Translate between EGraph types Build and Test #579: Pull request #306 synchronize by sgpthomas
March 20, 2024 17:53 3m 0s sgpthomas:egraph_map
sgpthomas:egraph_map
March 20, 2024 17:53 3m 0s
Translate between EGraph types Build and Test #578: Pull request #306 opened by sgpthomas
March 20, 2024 17:10 3m 30s sgpthomas:egraph_map
sgpthomas:egraph_map
March 20, 2024 17:10 3m 30s
Push Pop API Build and Test #577: Pull request #300 synchronize by dewert99
March 12, 2024 20:51 4m 3s dewert99:semi-persistent
dewert99:semi-persistent
March 12, 2024 20:51 4m 3s