Skip to content

Actions: egraphs-good/egglog

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,874 workflow runs
1,874 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Clarify that merge should be monotonic Deploy Web Demo and Docs #512: Pull request #238 synchronize by saulshanabrook
October 1, 2023 21:15 2m 2s saulshanabrook:patch-1
saulshanabrook:patch-1
October 1, 2023 21:15 2m 2s
Fix query-extract for vec Build #733: Pull request #242 opened by hatoo
October 1, 2023 09:51 1m 21s hatoo:fix-vec-extract
hatoo:fix-vec-extract
October 1, 2023 09:51 1m 21s
Fix query-extract for vec Deploy Web Demo and Docs #511: Pull request #242 opened by hatoo
October 1, 2023 09:51 2m 36s hatoo:fix-vec-extract
hatoo:fix-vec-extract
October 1, 2023 09:51 2m 36s
pages build and deployment pages-build-deployment #211: by github-pages bot
September 29, 2023 18:16 35s
September 29, 2023 18:16 35s
Merge pull request #239 from rtjoa/vec-set Deploy Web Demo and Docs #510: Commit 43a6a3b pushed by oflatt
September 29, 2023 18:12 4m 9s main
main
September 29, 2023 18:12 4m 9s
Merge pull request #239 from rtjoa/vec-set Build #732: Commit 43a6a3b pushed by oflatt
September 29, 2023 18:12 2m 47s main
main
September 29, 2023 18:12 2m 47s
Fix bug in statistics tracking when popping Build #731: Pull request #241 opened by oflatt
September 29, 2023 17:28 2m 42s oflatt:oflatt-fix-statistics-pop
oflatt:oflatt-fix-statistics-pop
September 29, 2023 17:28 2m 42s
Fix bug in statistics tracking when popping Deploy Web Demo and Docs #509: Pull request #241 opened by oflatt
September 29, 2023 17:28 3m 50s oflatt:oflatt-fix-statistics-pop
oflatt:oflatt-fix-statistics-pop
September 29, 2023 17:28 3m 50s
Add vec-set Build #730: Pull request #239 opened by rtjoa
September 28, 2023 21:31 3m 24s rtjoa:vec-set
rtjoa:vec-set
September 28, 2023 21:31 3m 24s
Add vec-set Deploy Web Demo and Docs #508: Pull request #239 opened by rtjoa
September 28, 2023 21:31 3m 43s rtjoa:vec-set
rtjoa:vec-set
September 28, 2023 21:31 3m 43s
Clarify that merge should be monotonic Build #729: Pull request #238 opened by saulshanabrook
September 28, 2023 12:47 2m 52s saulshanabrook:patch-1
saulshanabrook:patch-1
September 28, 2023 12:47 2m 52s
Clarify that merge should be monotonic Deploy Web Demo and Docs #507: Pull request #238 opened by saulshanabrook
September 28, 2023 12:47 3m 41s saulshanabrook:patch-1
saulshanabrook:patch-1
September 28, 2023 12:47 3m 41s
Constraint based type inference Build #728: Pull request #219 synchronize by yihozhang
September 28, 2023 02:09 1m 21s yihozhang:constraint-based-type-inference
yihozhang:constraint-based-type-inference
September 28, 2023 02:09 1m 21s
Constraint based type inference Deploy Web Demo and Docs #506: Pull request #219 synchronize by yihozhang
September 28, 2023 02:09 2m 21s yihozhang:constraint-based-type-inference
yihozhang:constraint-based-type-inference
September 28, 2023 02:09 2m 21s
Constraint based type inference Deploy Web Demo and Docs #505: Pull request #219 synchronize by yihozhang
September 28, 2023 02:06 2m 3s yihozhang:constraint-based-type-inference
yihozhang:constraint-based-type-inference
September 28, 2023 02:06 2m 3s
Constraint based type inference Build #727: Pull request #219 synchronize by yihozhang
September 28, 2023 02:06 1m 32s yihozhang:constraint-based-type-inference
yihozhang:constraint-based-type-inference
September 28, 2023 02:06 1m 32s
address review comments, esp. changing the interface for generating t… Deploy Web Demo and Docs #504: Commit 7283238 pushed by yihozhang
September 28, 2023 02:06 2m 4s constraint-based-type-inference
constraint-based-type-inference
September 28, 2023 02:06 2m 4s
address review comments, esp. changing the interface for generating t… Build #726: Commit 7283238 pushed by yihozhang
September 28, 2023 02:06 1m 23s constraint-based-type-inference
constraint-based-type-inference
September 28, 2023 02:06 1m 23s
Constraint based type inference Build #725: Pull request #219 synchronize by yihozhang
September 27, 2023 23:49 2m 43s yihozhang:constraint-based-type-inference
yihozhang:constraint-based-type-inference
September 27, 2023 23:49 2m 43s
Constraint based type inference Deploy Web Demo and Docs #503: Pull request #219 synchronize by yihozhang
September 27, 2023 23:49 3m 38s yihozhang:constraint-based-type-inference
yihozhang:constraint-based-type-inference
September 27, 2023 23:49 3m 38s
remove backend type checker (for queries) Deploy Web Demo and Docs #502: Commit 2d7e43e pushed by yihozhang
September 27, 2023 23:48 2m 32s constraint-based-type-inference
constraint-based-type-inference
September 27, 2023 23:48 2m 32s
remove backend type checker (for queries) Build #724: Commit 2d7e43e pushed by yihozhang
September 27, 2023 23:48 1m 25s constraint-based-type-inference
constraint-based-type-inference
September 27, 2023 23:48 1m 25s
fix nits Deploy Web Demo and Docs #501: Commit 695306b pushed by yihozhang
September 27, 2023 18:41 2m 15s constraint-based-type-inference
constraint-based-type-inference
September 27, 2023 18:41 2m 15s
fix nits Build #723: Commit 695306b pushed by yihozhang
September 27, 2023 18:41 1m 37s constraint-based-type-inference
constraint-based-type-inference
September 27, 2023 18:41 1m 37s
Replace front-end type checker with the proposed constrained-based one Deploy Web Demo and Docs #500: Commit 08aef0c pushed by yihozhang
September 27, 2023 18:31 4m 57s constraint-based-type-inference
constraint-based-type-inference
September 27, 2023 18:31 4m 57s
ProTip! You can narrow down the results and go further in time using created:<2023-09-27 or the other filters available.