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

Make explain_id_equivalence public Build and Test #556: Pull request #289 opened by dewert99
December 22, 2023 23:40 3m 31s dewert99:non-canonical
dewert99:non-canonical
December 22, 2023 23:40 3m 31s
Optimised the classes field of EGraph to avoid extra hashing Build and Test #554: Pull request #284 synchronize by dewert99
November 28, 2023 19:12 5m 55s dewert99:optimize-class-lookup
dewert99:optimize-class-lookup
November 28, 2023 19:12 5m 55s
Optimised the classes field of EGraph to avoid extra hashing Build and Test #553: Pull request #284 opened by dewert99
November 28, 2023 18:33 6m 20s dewert99:optimize-class-lookup
dewert99:optimize-class-lookup
November 28, 2023 18:33 6m 20s
pages build and deployment pages-build-deployment #61: by github-pages bot
November 28, 2023 18:02 38s gh-pages
gh-pages
November 28, 2023 18:02 38s
Merge pull request #283 from dewert99/non-canonical Build and Test #552: Commit 034f12e pushed by oflatt
November 28, 2023 17:58 6m 21s main
main
November 28, 2023 17:58 6m 21s
Merge pull request #283 from dewert99/non-canonical Publish Docs #111: Commit 034f12e pushed by oflatt
November 28, 2023 17:58 4m 27s main
main
November 28, 2023 17:58 4m 27s
pages build and deployment pages-build-deployment #60: by github-pages bot
November 28, 2023 17:56 32s gh-pages
gh-pages
November 28, 2023 17:56 32s
allow per-language discriminants (#270) Build and Test #551: Commit a84c3c4 pushed by mwillsey
November 28, 2023 17:51 6m 18s main
main
November 28, 2023 17:51 6m 18s
allow per-language discriminants (#270) Publish Docs #110: Commit a84c3c4 pushed by mwillsey
November 28, 2023 17:51 4m 44s main
main
November 28, 2023 17:51 4m 44s
pages build and deployment pages-build-deployment #59: by github-pages bot
October 28, 2023 00:38 28s gh-pages
gh-pages
October 28, 2023 00:38 28s
Clean up proof code using saturating numbers (#274) Build and Test #549: Commit 9043f3b pushed by mwillsey
October 28, 2023 00:32 8m 5s main
main
October 28, 2023 00:32 8m 5s
Clean up proof code using saturating numbers (#274) Publish Docs #109: Commit 9043f3b pushed by mwillsey
October 28, 2023 00:32 5m 34s main
main
October 28, 2023 00:32 5m 34s
Clean up proof code using saturating numbers Build and Test #548: Pull request #274 synchronize by oflatt
October 27, 2023 20:55 9m 17s oflatt-another-overflow
oflatt-another-overflow
October 27, 2023 20:55 9m 17s
skip serializing memo Build and Test #547: Commit 17b65eb pushed by oflatt
October 27, 2023 20:55 7m 54s oflatt-another-overflow
oflatt-another-overflow
October 27, 2023 20:55 7m 54s
Clean up proof code using saturating numbers Build and Test #546: Pull request #274 synchronize by oflatt
October 27, 2023 20:25 8m 15s oflatt-another-overflow
oflatt-another-overflow
October 27, 2023 20:25 8m 15s
nits and typo Build and Test #545: Commit 2da79bf pushed by oflatt
October 27, 2023 20:25 10m 4s oflatt-another-overflow
oflatt-another-overflow
October 27, 2023 20:25 10m 4s
pages build and deployment pages-build-deployment #58: by github-pages bot
October 12, 2023 21:15 40s gh-pages
gh-pages
October 12, 2023 21:15 40s
Make Analysis::make take in the E-graph mutably Build and Test #544: Pull request #277 synchronize by mwillsey
October 12, 2023 21:11 9m 25s imbrem:mut-analysis
imbrem:mut-analysis
October 12, 2023 21:11 9m 25s
Make Analysis::make take in the E-graph mutably (#277) Build and Test #543: Commit bc80248 pushed by mwillsey
October 12, 2023 21:11 7m 50s main
main
October 12, 2023 21:11 7m 50s
Make Analysis::make take in the E-graph mutably (#277) Publish Docs #108: Commit bc80248 pushed by mwillsey
October 12, 2023 21:11 4m 21s main
main
October 12, 2023 21:11 4m 21s
Make Analysis::make take in the E-graph mutably Build and Test #542: Pull request #277 synchronize by mwillsey
October 12, 2023 00:56 9m 40s imbrem:mut-analysis
imbrem:mut-analysis
October 12, 2023 00:56 9m 40s
pages build and deployment pages-build-deployment #57: by github-pages bot
October 4, 2023 17:13 36s gh-pages
gh-pages
October 4, 2023 17:13 36s
allow converting RecExpr to Vec<L> (#275) Publish Docs #107: Commit 6340768 pushed by mwillsey
October 4, 2023 17:08 4m 41s main
main
October 4, 2023 17:08 4m 41s
allow converting RecExpr to Vec<L> (#275) Build and Test #540: Commit 6340768 pushed by mwillsey
October 4, 2023 17:08 8m 24s main
main
October 4, 2023 17:08 8m 24s
allow converting RecExpr to Vec<L> Build and Test #539: Pull request #275 opened by bjchambers
October 4, 2023 16:36 7m 12s bjchambers:rec-expr-take-vec
bjchambers:rec-expr-take-vec
October 4, 2023 16:36 7m 12s