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

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 gh-pages
gh-pages
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 gh-pages
gh-pages
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
chore: keep rust version up-to-date with stable channel in CI Build and Test #614: Pull request #320 synchronize by kayagokalp
June 24, 2024 21:21 1m 42s kayagokalp:kayagokalp/ci-rust-version
kayagokalp:kayagokalp/ci-rust-version
June 24, 2024 21:21 1m 42s
chore: keep rust version up-to-date with stable channel in CI Build and Test #613: Pull request #320 synchronize by kayagokalp
June 24, 2024 21:16 2m 11s kayagokalp:kayagokalp/ci-rust-version
kayagokalp:kayagokalp/ci-rust-version
June 24, 2024 21:16 2m 11s
chore: keep rust version up-to-date with stable channel in CI Build and Test #612: Pull request #320 opened by kayagokalp
June 24, 2024 21:14 1m 46s kayagokalp:kayagokalp/ci-rust-version
kayagokalp:kayagokalp/ci-rust-version
June 24, 2024 21:14 1m 46s
feat: support generics with define_language macro Build and Test #611: Pull request #318 synchronize by kayagokalp
June 24, 2024 20:51 1m 41s kayagokalp:kayagokalp/generic-define-language
kayagokalp:kayagokalp/generic-define-language
June 24, 2024 20:51 1m 41s
feat: support generics with define_language macro Build and Test #610: Pull request #318 opened by kayagokalp
June 24, 2024 20:49 1m 45s kayagokalp:kayagokalp/generic-define-language
kayagokalp:kayagokalp/generic-define-language
June 24, 2024 20:49 1m 45s
Closes #316 (Was dropping rest of proof) Build and Test #609: Pull request #317 opened by eytans
June 22, 2024 08:14 3m 58s eytans:fix_existance_exp
eytans:fix_existance_exp
June 22, 2024 08:14 3m 58s
pages build and deployment pages-build-deployment #74: by github-pages bot
June 12, 2024 17:51 25s gh-pages
gh-pages
June 12, 2024 17:51 25s
Add a check for bad multipatterns Build and Test #608: Commit ae2db37 pushed by mwillsey
June 12, 2024 17:50 3m 34s main
main
June 12, 2024 17:50 3m 34s