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

Prep for update
Build and Test #673: Commit 2750f55 pushed by mwillsey
December 31, 2024 16:42 1m 45s v0.10.0
December 31, 2024 16:42 1m 45s
pages build and deployment
pages-build-deployment #90: by github-pages bot
December 31, 2024 16:41 24s gh-pages
December 31, 2024 16:41 24s
Prep for update
Publish Docs #141: Commit 2750f55 pushed by mwillsey
December 31, 2024 16:41 35s main
December 31, 2024 16:41 35s
Prep for update
Build and Test #672: Commit 2750f55 pushed by mwillsey
December 31, 2024 16:41 1m 47s main
December 31, 2024 16:41 1m 47s
pages build and deployment
pages-build-deployment #89: by github-pages bot
December 31, 2024 16:37 25s gh-pages
December 31, 2024 16:37 25s
Remove existence explanations (#333)
Build and Test #671: Commit 4747cfe pushed by mwillsey
December 31, 2024 16:37 2m 12s main
December 31, 2024 16:37 2m 12s
Remove existence explanations (#333)
Publish Docs #140: Commit 4747cfe pushed by mwillsey
December 31, 2024 16:37 36s main
December 31, 2024 16:37 36s
pages build and deployment
pages-build-deployment #88: by github-pages bot
December 30, 2024 19:40 24s gh-pages
December 30, 2024 19:40 24s
Add generics to define_language
Publish Docs #139: Commit a18666d pushed by mwillsey
December 30, 2024 19:40 31s main
December 30, 2024 19:40 31s
Add generics to define_language
Build and Test #670: Commit a18666d pushed by mwillsey
December 30, 2024 19:40 1m 56s main
December 30, 2024 19:40 1m 56s
pages build and deployment
pages-build-deployment #87: by github-pages bot
December 30, 2024 18:40 25s gh-pages
December 30, 2024 18:40 25s
Add deref, borrow, and iter methods of slice to RecExpr
Build and Test #669: Commit fa40e29 pushed by mwillsey
December 30, 2024 18:39 1m 51s main
December 30, 2024 18:39 1m 51s
Add deref, borrow, and iter methods of slice to RecExpr
Publish Docs #138: Commit fa40e29 pushed by mwillsey
December 30, 2024 18:39 30s main
December 30, 2024 18:39 30s
pages build and deployment
pages-build-deployment #86: by github-pages bot
December 30, 2024 18:34 24s gh-pages
December 30, 2024 18:34 24s
remove clone requirement on fold (#326)
Publish Docs #137: Commit 319b9c4 pushed by mwillsey
December 30, 2024 18:33 29s main
December 30, 2024 18:33 29s
remove clone requirement on fold (#326)
Build and Test #668: Commit 319b9c4 pushed by mwillsey
December 30, 2024 18:33 1m 50s main
December 30, 2024 18:33 1m 50s
pages build and deployment
pages-build-deployment #85: by github-pages bot
December 30, 2024 18:32 37s gh-pages
December 30, 2024 18:32 37s
Replace fxhash with rustc-hash (#336)
Build and Test #667: Commit 9f06254 pushed by mwillsey
December 30, 2024 18:32 2m 6s main
December 30, 2024 18:32 2m 6s
Replace fxhash with rustc-hash (#336)
Publish Docs #136: Commit 9f06254 pushed by mwillsey
December 30, 2024 18:32 32s main
December 30, 2024 18:32 32s
Replace fxhash with rustc-hash
Build and Test #666: Pull request #336 synchronize by mwillsey
December 30, 2024 17:47 1m 41s VitalyAnkh:replace_fxhash_with_rustc_hash
December 30, 2024 17:47 1m 41s
pages build and deployment
pages-build-deployment #84: by github-pages bot
December 30, 2024 17:46 22s gh-pages
December 30, 2024 17:46 22s
Use $crate::Id to reference the egg::Id type in the define_language m…
Publish Docs #135: Commit fa643ff pushed by mwillsey
December 30, 2024 17:45 32s main
December 30, 2024 17:45 32s
Use $crate::Id to reference the egg::Id type in the define_language m…
Build and Test #665: Commit fa643ff pushed by mwillsey
December 30, 2024 17:45 1m 47s main
December 30, 2024 17:45 1m 47s
pages build and deployment
pages-build-deployment #83: by github-pages bot
December 30, 2024 17:44 34s gh-pages
December 30, 2024 17:44 34s
fix(security): update hashbrown dependency to 0.15.2 (#342)
Publish Docs #134: Commit 30c9ec1 pushed by mwillsey
December 30, 2024 17:44 32s main
December 30, 2024 17:44 32s