Skip to content

Actions: egraphs-good/egg

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
172 workflow runs
172 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

format, nits Build and Test #632: Commit 335744a pushed by oflatt
August 20, 2024 17:42 2m 0s oflatt-existance-refactor
oflatt-existance-refactor
August 20, 2024 17:42 2m 0s
Refactor existance proofs, fixing bugs in the process Build and Test #631: Pull request #332 opened by oflatt
August 20, 2024 17:41 2m 49s oflatt-existance-refactor
oflatt-existance-refactor
August 20, 2024 17:41 2m 49s
fix explanations by running things beforehand Build and Test #630: Commit a8a8f9b pushed by oflatt
August 20, 2024 17:37 1m 49s oflatt-existance-refactor
oflatt-existance-refactor
August 20, 2024 17:37 1m 49s
debugging problem Build and Test #629: Commit 5093754 pushed by oflatt
August 20, 2024 16:49 57s oflatt-existance-refactor
oflatt-existance-refactor
August 20, 2024 16:49 57s
Parallel matching Build and Test #628: Pull request #330 synchronize by szymon-zygula
August 9, 2024 18:32 1m 44s szymon-zygula:matching-only
szymon-zygula:matching-only
August 9, 2024 18:32 1m 44s
Parallel matching Build and Test #627: Pull request #330 synchronize by szymon-zygula
August 9, 2024 18:11 1m 42s szymon-zygula:matching-only
szymon-zygula:matching-only
August 9, 2024 18:11 1m 42s
pages build and deployment pages-build-deployment #77: by github-pages bot
August 9, 2024 18:03 25s
August 9, 2024 18:03 25s
Merge pull request #317 from eytans/fix_existance_exp Build and Test #626: Commit b3a53e9 pushed by oflatt
August 9, 2024 18:03 4m 12s main
main
August 9, 2024 18:03 4m 12s
Merge pull request #317 from eytans/fix_existance_exp Publish Docs #128: Commit b3a53e9 pushed by oflatt
August 9, 2024 18:03 1m 1s main
main
August 9, 2024 18:03 1m 1s
Parallel matching Build and Test #625: Pull request #330 opened by szymon-zygula
August 9, 2024 14:11 4m 14s szymon-zygula:matching-only
szymon-zygula:matching-only
August 9, 2024 14:11 4m 14s
Closes #316 (Was dropping rest of proof) Build and Test #624: Pull request #317 synchronize by eytans
August 9, 2024 06:40 4m 27s eytans:fix_existance_exp
eytans:fix_existance_exp
August 9, 2024 06:40 4m 27s
remove clone requirement on fold Build and Test #623: Pull request #326 opened by mtak-
July 29, 2024 17:10 1m 41s mtak-:noclone-fold
mtak-:noclone-fold
July 29, 2024 17:10 1m 41s
RecExpr Deref/DerefMut=[L]. also convenience methods and trait impls Build and Test #622: Pull request #325 opened by mtak-
July 29, 2024 14:57 1m 54s mtak-:recexpr-deref
mtak-:recexpr-deref
July 29, 2024 14:57 1m 54s
remove hashbrown from id_to_pattern API Build and Test #621: Pull request #324 opened by mtak-
July 29, 2024 12:37 1m 43s mtak-:nobrown
mtak-:nobrown
July 29, 2024 12:37 1m 43s
pages build and deployment pages-build-deployment #76: by github-pages bot
July 23, 2024 21:04 24s
July 23, 2024 21:04 24s
Added fn root(&self) -> Id to RecExpr. (#321) Build and Test #620: Commit 347326d pushed by mwillsey
July 23, 2024 21:03 4m 27s main
main
July 23, 2024 21:03 4m 27s
Added fn root(&self) -> Id to RecExpr. (#321) Publish Docs #127: Commit 347326d pushed by mwillsey
July 23, 2024 21:03 31s main
main
July 23, 2024 21:03 31s
feat: support generics with define_language macro Build and Test #619: Pull request #318 synchronize by kayagokalp
July 10, 2024 02:46 1m 38s kayagokalp:kayagokalp/generic-define-language
kayagokalp:kayagokalp/generic-define-language
July 10, 2024 02:46 1m 38s
pages build and deployment pages-build-deployment #75: by github-pages bot
July 8, 2024 20:53 22s
July 8, 2024 20:53 22s
Update to rust 1.79 Build and Test #618: Commit dae3050 pushed by mwillsey
July 8, 2024 20:52 4m 7s main
main
July 8, 2024 20:52 4m 7s
Update to rust 1.79 Publish Docs #126: Commit dae3050 pushed by mwillsey
July 8, 2024 20:52 35s main
main
July 8, 2024 20:52 35s
Tweak matches docs Build and Test #617: Commit 7112033 pushed by mwillsey
July 8, 2024 17:01 1m 56s main
main
July 8, 2024 17:01 1m 56s
Tweak matches docs Publish Docs #125: Commit 7112033 pushed by mwillsey
July 8, 2024 17:01 1m 56s main
main
July 8, 2024 17:01 1m 56s
Added fn root(&self) -> Id to RecExpr. Build and Test #616: Pull request #321 opened by yonatan-reicher
July 4, 2024 17:42 2m 12s yonatan-reicher:recexpr-root
yonatan-reicher:recexpr-root
July 4, 2024 17:42 2m 12s
chore: keep rust version up-to-date with stable channel in CI Build and Test #615: Pull request #320 synchronize by kayagokalp
June 24, 2024 21:22 1m 39s kayagokalp:kayagokalp/ci-rust-version
kayagokalp:kayagokalp/ci-rust-version
June 24, 2024 21:22 1m 39s