Skip to content

Actions: egraphs-good/egg

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
169 workflow runs
169 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment pages-build-deployment #58: by github-pages bot
October 12, 2023 21:15 40s
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
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
Clean up proof code using saturating numbers Build and Test #538: Pull request #274 opened by oflatt
September 26, 2023 17:25 4m 9s oflatt-another-overflow
oflatt-another-overflow
September 26, 2023 17:25 4m 9s
use saturating crate, fix assertion bug Build and Test #537: Commit 53386e6 pushed by oflatt
September 26, 2023 17:23 4m 35s oflatt-another-overflow
oflatt-another-overflow
September 26, 2023 17:23 4m 35s
allow per-language discriminants Build and Test #536: Pull request #270 synchronize by bjchambers
September 26, 2023 16:31 6m 44s bjchambers:non-enum-discriminant
bjchambers:non-enum-discriminant
September 26, 2023 16:31 6m 44s
allow per-language discriminants Build and Test #535: Pull request #270 opened by bjchambers
September 18, 2023 22:51 7m 40s bjchambers:non-enum-discriminant
bjchambers:non-enum-discriminant
September 18, 2023 22:51 7m 40s
pages build and deployment pages-build-deployment #56: by github-pages bot
August 21, 2023 16:32 40s
August 21, 2023 16:32 40s
Fix minor grammar in _01_background.rs (#267) Build and Test #534: Commit e7845c5 pushed by mwillsey
August 21, 2023 16:29 8m 12s main
main
August 21, 2023 16:29 8m 12s
Fix minor grammar in _01_background.rs (#267) Publish Docs #106: Commit e7845c5 pushed by mwillsey
August 21, 2023 16:29 2m 34s main
main
August 21, 2023 16:29 2m 34s
Fix minor grammar in _01_background.rs Build and Test #533: Pull request #267 opened by namin
August 21, 2023 15:59 7m 3s namin:namin-patch-1
namin:namin-patch-1
August 21, 2023 15:59 7m 3s
Add class size based scheduler Build and Test #532: Pull request #266 synchronize by remysucre
August 19, 2023 02:34 5m 27s remysucre:main
remysucre:main
August 19, 2023 02:34 5m 27s
Add class size based scheduler Build and Test #531: Pull request #266 opened by remysucre
August 18, 2023 22:37 5m 28s remysucre:main
remysucre:main
August 18, 2023 22:37 5m 28s