Skip to content

Actions: egraphs-good/egg

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
185 workflow runs
185 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Add a check for bad multipatterns Publish Docs #124: Commit ae2db37 pushed by mwillsey
June 12, 2024 17:50 1m 37s main
main
June 12, 2024 17:50 1m 37s
pages build and deployment pages-build-deployment #73: by github-pages bot
May 30, 2024 23:29 26s gh-pages
gh-pages
May 30, 2024 23:29 26s
Merge branch 'main' into upstream-varargs Build and Test #607: Commit 5018b64 pushed by mwillsey
May 30, 2024 23:29 3m 26s upstream-varargs
upstream-varargs
May 30, 2024 23:29 3m 26s
Use quanta for timing Publish Docs #123: Commit de7086c pushed by mwillsey
May 30, 2024 23:28 1m 16s main
main
May 30, 2024 23:28 1m 16s
Use quanta for timing Build and Test #606: Commit de7086c pushed by mwillsey
May 30, 2024 23:28 3m 5s main
main
May 30, 2024 23:28 3m 5s
pages build and deployment pages-build-deployment #72: by github-pages bot
April 26, 2024 19:59 23s gh-pages
gh-pages
April 26, 2024 19:59 23s
Add hook to ban e-matched cycles Build and Test #605: Commit 7e60716 pushed by mwillsey
April 26, 2024 19:57 3m 36s main
main
April 26, 2024 19:57 3m 36s
Add hook to ban e-matched cycles Publish Docs #122: Commit 7e60716 pushed by mwillsey
April 26, 2024 19:57 1m 59s main
main
April 26, 2024 19:57 1m 59s
pages build and deployment pages-build-deployment #71: by github-pages bot
April 24, 2024 23:20 52s gh-pages
gh-pages
April 24, 2024 23:20 52s
pages build and deployment pages-build-deployment #70: by github-pages bot
April 24, 2024 23:20 12s gh-pages
gh-pages
April 24, 2024 23:20 12s
Add hashmap_with_capacity (#313) Publish Docs #121: Commit c11d03d pushed by mwillsey
April 24, 2024 23:18 1m 54s main
main
April 24, 2024 23:18 1m 54s
Add hashmap_with_capacity (#313) Build and Test #604: Commit c11d03d pushed by mwillsey
April 24, 2024 23:18 3m 35s main
main
April 24, 2024 23:18 3m 35s
Fix proofs: switch to BigUint instead of Saturating<usize> for pr… Publish Docs #120: Commit 556a6b3 pushed by mwillsey
April 24, 2024 23:18 2m 7s main
main
April 24, 2024 23:18 2m 7s
Fix proofs: switch to BigUint instead of Saturating<usize> for pr… Build and Test #603: Commit 556a6b3 pushed by mwillsey
April 24, 2024 23:18 3m 36s main
main
April 24, 2024 23:18 3m 36s
Rename RecExpr to Expr Build and Test #602: Pull request #314 synchronize by cospectrum
April 24, 2024 22:13 3m 35s cospectrum:rename-recexpr
cospectrum:rename-recexpr
April 24, 2024 22:13 3m 35s
Rename RecExpr to Expr Build and Test #601: Pull request #314 opened by cospectrum
April 24, 2024 22:11 3m 43s cospectrum:rename-recexpr
cospectrum:rename-recexpr
April 24, 2024 22:11 3m 43s