Skip to content

Actions: egraphs-good/egglog

Actions

Build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
857 workflow runs
857 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #223 from oflatt/oflatt-distinguish-datatypes Build #710: Commit 4d67f26 pushed by oflatt
September 12, 2023 18:29 1m 20s main
main
September 12, 2023 18:29 1m 20s
Merge pull request #230 from saulshanabrook/add-string-methods Build #709: Commit f283176 pushed by oflatt
September 11, 2023 22:02 1m 45s main
main
September 11, 2023 22:02 1m 45s
Merge pull request #227 from oflatt/oflatt-binary-joins Build #708: Commit 64e27cd pushed by yihozhang
September 11, 2023 21:39 1m 39s main
main
September 11, 2023 21:39 1m 39s
fix: use single import for Rule (#231) Build #707: Commit b8912bd pushed by mwillsey
September 11, 2023 16:27 1m 35s main
main
September 11, 2023 16:27 1m 35s
fix: use single import for Rule Build #706: Pull request #231 synchronize by mwillsey
September 11, 2023 16:27 1m 44s bvanjoi:fix-glob-binding
bvanjoi:fix-glob-binding
September 11, 2023 16:27 1m 44s
fix: use single import for Rule Build #705: Pull request #231 opened by bvanjoi
September 11, 2023 13:26 1m 37s bvanjoi:fix-glob-binding
bvanjoi:fix-glob-binding
September 11, 2023 13:26 1m 37s
Add count match and replace string functions Build #704: Pull request #230 opened by saulshanabrook
September 9, 2023 17:25 1m 23s saulshanabrook:add-string-methods
saulshanabrook:add-string-methods
September 9, 2023 17:25 1m 23s
Small gj refactor Build #703: Pull request #227 synchronize by oflatt
September 8, 2023 18:56 1m 33s oflatt:oflatt-binary-joins
oflatt:oflatt-binary-joins
September 8, 2023 18:56 1m 33s
Add a replace action Build #702: Pull request #226 synchronize by oflatt
September 8, 2023 18:44 1m 24s oflatt:oflatt-replace-action
oflatt:oflatt-replace-action
September 8, 2023 18:44 1m 24s
Small gj refactor Build #701: Pull request #227 synchronize by oflatt
September 8, 2023 16:40 1m 26s oflatt:oflatt-binary-joins
oflatt:oflatt-binary-joins
September 8, 2023 16:40 1m 26s
Small gj refactor Build #700: Pull request #227 opened by oflatt
September 8, 2023 16:39 1m 28s oflatt:oflatt-binary-joins
oflatt:oflatt-binary-joins
September 8, 2023 16:39 1m 28s
Merge pull request #225 from oflatt/oflatt-ruleset-stats Build #699: Commit f35fca2 pushed by oflatt
September 8, 2023 16:13 1m 19s main
main
September 8, 2023 16:13 1m 19s
Add a replace action Build #698: Pull request #226 opened by oflatt
September 6, 2023 23:46 1m 28s oflatt:oflatt-replace-action
oflatt:oflatt-replace-action
September 6, 2023 23:46 1m 28s
Better rule and ruleset timing statistics Build #697: Pull request #225 opened by oflatt
September 6, 2023 16:56 1m 37s oflatt:oflatt-ruleset-stats
oflatt:oflatt-ruleset-stats
September 6, 2023 16:56 1m 37s
Merge pull request #222 from oflatt/oflatt-desugar-merge-action Build #696: Commit 152110c pushed by oflatt
September 5, 2023 22:09 1m 21s main
main
September 5, 2023 22:09 1m 21s
Distinguish datatypes from other tables Build #695: Pull request #223 synchronize by oflatt
September 3, 2023 22:54 1m 35s oflatt:oflatt-distinguish-datatypes
oflatt:oflatt-distinguish-datatypes
September 3, 2023 22:54 1m 35s
Distinguish datatypes from other tables Build #694: Pull request #223 opened by oflatt
September 3, 2023 22:42 1m 24s oflatt:oflatt-distinguish-datatypes
oflatt:oflatt-distinguish-datatypes
September 3, 2023 22:42 1m 24s
Desugar merge actions for consistency Build #693: Pull request #222 opened by oflatt
September 3, 2023 21:49 1m 37s oflatt:oflatt-desugar-merge-action
oflatt:oflatt-desugar-merge-action
September 3, 2023 21:49 1m 37s
Constraint based type inference Build #692: Pull request #219 synchronize by yihozhang
August 31, 2023 05:06 1m 42s yihozhang:constraint-based-type-inference
yihozhang:constraint-based-type-inference
August 31, 2023 05:06 1m 42s
Constraint based type inference Build #691: Pull request #219 synchronize by yihozhang
August 31, 2023 05:04 1m 23s yihozhang:constraint-based-type-inference
yihozhang:constraint-based-type-inference
August 31, 2023 05:04 1m 23s
Constraint based type inference Build #690: Pull request #219 synchronize by yihozhang
August 31, 2023 04:37 1m 39s yihozhang:constraint-based-type-inference
yihozhang:constraint-based-type-inference
August 31, 2023 04:37 1m 39s
Constraint based type inference Build #689: Pull request #219 synchronize by yihozhang
August 31, 2023 01:24 1m 24s yihozhang:constraint-based-type-inference
yihozhang:constraint-based-type-inference
August 31, 2023 01:24 1m 24s
Constraint based type inference Build #688: Pull request #219 synchronize by yihozhang
August 30, 2023 00:02 1m 20s yihozhang:constraint-based-type-inference
yihozhang:constraint-based-type-inference
August 30, 2023 00:02 1m 20s
Merge pull request #221 from oflatt/oflatt-format-james-pr Build #687: Commit c83fc75 pushed by oflatt
August 29, 2023 20:39 1m 43s main
main
August 29, 2023 20:39 1m 43s
Merge pull request #205 from saulshanabrook/add- Build #686: Commit 192a703 pushed by oflatt
August 29, 2023 20:39 1m 36s main
main
August 29, 2023 20:39 1m 36s
ProTip! You can narrow down the results and go further in time using created:<2023-08-29 or the other filters available.