Skip to content

Actions: egraphs-good/egglog

Actions

.github/workflows/build.yml

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
1,180 workflow runs
1,180 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update links in README for egglog resources .github/workflows/build.yml #2650: Commit 60ecd24 pushed by yihozhang
Failure yihozhang-patch-4
yihozhang-patch-4
Failure
Add support for code coverage .github/workflows/build.yml #2649: Pull request #790 synchronize by saulshanabrook
10m 53s saulshanabrook:code-coverage
saulshanabrook:code-coverage
10m 53s
Proof encoding in egglog itself .github/workflows/build.yml #2648: Pull request #770 synchronize by oflatt
6m 24s oflatt-proofs-encoding-2
oflatt-proofs-encoding-2
6m 24s
Proof encoding in egglog itself .github/workflows/build.yml #2647: Pull request #770 synchronize by oflatt
6m 31s oflatt-proofs-encoding-2
oflatt-proofs-encoding-2
6m 31s
Proof encoding in egglog itself .github/workflows/build.yml #2646: Pull request #770 synchronize by oflatt
6m 35s oflatt-proofs-encoding-2
oflatt-proofs-encoding-2
6m 35s
Proof encoding in egglog itself .github/workflows/build.yml #2645: Pull request #770 synchronize by oflatt
7m 0s oflatt-proofs-encoding-2
oflatt-proofs-encoding-2
7m 0s
Proof encoding in egglog itself .github/workflows/build.yml #2644: Pull request #770 synchronize by oflatt
6m 21s oflatt-proofs-encoding-2
oflatt-proofs-encoding-2
6m 21s
Proof encoding in egglog itself .github/workflows/build.yml #2643: Pull request #770 synchronize by oflatt
7m 11s oflatt-proofs-encoding-2
oflatt-proofs-encoding-2
7m 11s
Proof encoding in egglog itself .github/workflows/build.yml #2642: Pull request #770 synchronize by oflatt
6m 37s oflatt-proofs-encoding-2
oflatt-proofs-encoding-2
6m 37s
Proof encoding in egglog itself .github/workflows/build.yml #2641: Pull request #770 synchronize by oflatt
8m 39s oflatt-proofs-encoding-2
oflatt-proofs-encoding-2
8m 39s
Proof encoding in egglog itself .github/workflows/build.yml #2640: Pull request #770 synchronize by oflatt
6m 25s oflatt-proofs-encoding-2
oflatt-proofs-encoding-2
6m 25s
Apply suggestions from code review .github/workflows/build.yml #2639: Commit 5515cc6 pushed by saulshanabrook
Failure saulshanabrook-patch-7
saulshanabrook-patch-7
Failure
Clarify issue policy .github/workflows/build.yml #2638: Commit 2a56e81 pushed by saulshanabrook
Failure saulshanabrook-patch-7
saulshanabrook-patch-7
Failure
Update Math Demo .github/workflows/build.yml #2637: Pull request #757 by saulshanabrook
Failure saulshanabrook:math-update
saulshanabrook:math-update
Failure
rename global vars in tests .github/workflows/build.yml #2636: Pull request #792 by marko-subotic
Failure marko-subotic:main
marko-subotic:main
Failure
skipping empty bags; cyk working .github/workflows/build.yml #2635: Commit 5d7f041 pushed by yihozhang
Failure yihozhang-decomp
yihozhang-decomp
Failure
skipping empty bags; cyk working .github/workflows/build.yml #2634: Commit 109e0ae pushed by yihozhang
Failure yihozhang-decomp
yihozhang-decomp
Failure
skipping empty bags; cyk working .github/workflows/build.yml #2633: Commit f3ccc5d pushed by yihozhang
Failure yihozhang-decomp
yihozhang-decomp
Failure
Merge pull request #778 from egraphs-good/yihozhang-snapshot-test .github/workflows/build.yml #2632: Commit 57fdb7d pushed by yihozhang
Failure main
main
Failure
Merge branch 'main' into yihozhang-snapshot-test .github/workflows/build.yml #2631: Commit 953dfe7 pushed by yihozhang
Failure yihozhang-snapshot-test
yihozhang-snapshot-test
Failure
Merge pull request #780 from egraphs-good/refactor-query-planning .github/workflows/build.yml #2630: Commit f028092 pushed by yihozhang
6m 28s main
main
6m 28s
Refactor query planning .github/workflows/build.yml #2629: Pull request #780 synchronize by yihozhang
6m 47s refactor-query-planning
refactor-query-planning
6m 47s
Refactor query planning .github/workflows/build.yml #2628: Pull request #780 synchronize by yihozhang
7m 5s refactor-query-planning
refactor-query-planning
7m 5s
Refactor query planning .github/workflows/build.yml #2627: Pull request #780 synchronize by yihozhang
6m 36s refactor-query-planning
refactor-query-planning
6m 36s
Refactor query planning .github/workflows/build.yml #2626: Pull request #780 synchronize by yihozhang
6m 15s refactor-query-planning
refactor-query-planning
6m 15s