Skip to content

Actions: egraphs-good/egglog

Actions

Build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
720 workflow runs
720 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add action to set custom cost Build #1141: Pull request #355 synchronize by saulshanabrook
August 7, 2024 17:54 1m 40s saulshanabrook:cost-action
saulshanabrook:cost-action
August 7, 2024 17:54 1m 40s
Add action to set custom cost Build #1140: Pull request #355 synchronize by saulshanabrook
August 7, 2024 15:43 1m 47s saulshanabrook:cost-action
saulshanabrook:cost-action
August 7, 2024 15:43 1m 47s
Add action to set custom cost Build #1139: Pull request #355 reopened by saulshanabrook
August 7, 2024 15:39 1m 42s saulshanabrook:cost-action
saulshanabrook:cost-action
August 7, 2024 15:39 1m 42s
Add action to set custom cost Build #1138: Pull request #355 synchronize by saulshanabrook
August 7, 2024 15:39 1m 43s saulshanabrook:cost-action
saulshanabrook:cost-action
August 7, 2024 15:39 1m 43s
Move splitting primitives to serialize library Build #1137: Pull request #407 opened by saulshanabrook
August 6, 2024 20:40 2m 18s saulshanabrook:serialize-move-split-primitives
saulshanabrook:serialize-move-split-primitives
August 6, 2024 20:40 2m 18s
Fix determinism bug from new combined ruleset code Build #1136: Pull request #406 opened by oflatt
August 6, 2024 17:58 1m 39s oflatt:oflatt-determinism-bug
oflatt:oflatt-determinism-bug
August 6, 2024 17:58 1m 39s
Merge pull request #405 from saulshanabrook/public-dummy Build #1135: Commit ecc3be5 pushed by saulshanabrook
August 3, 2024 13:42 1m 39s main
main
August 3, 2024 13:42 1m 39s
Make dummy span and filenames public Build #1134: Pull request #405 opened by saulshanabrook
August 2, 2024 17:40 1m 50s saulshanabrook:public-dummy
saulshanabrook:public-dummy
August 2, 2024 17:40 1m 50s
Merge pull request #402 from egraphs-good/yihozhang-fix-repl Build #1133: Commit e0fd116 pushed by yihozhang
July 31, 2024 23:20 1m 38s main
main
July 31, 2024 23:20 1m 38s
Merge pull request #400 from saulshanabrook/unstable-fn-inference Build #1132: Commit d4accf6 pushed by saulshanabrook
July 31, 2024 16:39 1m 37s main
main
July 31, 2024 16:39 1m 37s
Merge pull request #396 from saulshanabrook/back-and-forth Build #1131: Commit 5d8c025 pushed by saulshanabrook
July 31, 2024 16:38 1m 42s main
main
July 31, 2024 16:38 1m 42s
In REPL, evaluates only when parens are closed Build #1130: Pull request #402 synchronize by yihozhang
July 30, 2024 22:18 1m 39s yihozhang-fix-repl
yihozhang-fix-repl
July 30, 2024 22:18 1m 39s
nits Build #1129: Commit 4689fac pushed by yihozhang
July 30, 2024 22:18 1m 43s yihozhang-fix-repl
yihozhang-fix-repl
July 30, 2024 22:18 1m 43s
In REPL, evaluates only when parens are closed Build #1128: Pull request #402 synchronize by yihozhang
July 30, 2024 21:55 1m 39s yihozhang-fix-repl
yihozhang-fix-repl
July 30, 2024 21:55 1m 39s
add tests Build #1127: Commit a78ea17 pushed by yihozhang
July 30, 2024 21:55 1m 44s yihozhang-fix-repl
yihozhang-fix-repl
July 30, 2024 21:55 1m 44s
Serialized Class ID <-> Value Build #1126: Pull request #396 synchronize by saulshanabrook
July 30, 2024 21:45 1m 37s saulshanabrook:back-and-forth
saulshanabrook:back-and-forth
July 30, 2024 21:45 1m 37s
Serialized Class ID <-> Value Build #1125: Pull request #396 synchronize by saulshanabrook
July 30, 2024 21:41 1m 14s saulshanabrook:back-and-forth
saulshanabrook:back-and-forth
July 30, 2024 21:41 1m 14s
In REPL, evaluates only when parens are closed Build #1124: Pull request #402 opened by yihozhang
July 30, 2024 08:55 1m 36s yihozhang-fix-repl
yihozhang-fix-repl
July 30, 2024 08:55 1m 36s
fix typo Build #1123: Commit edcd1bc pushed by yihozhang
July 30, 2024 08:55 1m 41s yihozhang-fix-repl
yihozhang-fix-repl
July 30, 2024 08:55 1m 41s
Evaluates only when parens are closed Build #1122: Commit 79acce6 pushed by yihozhang
July 30, 2024 08:44 1m 38s yihozhang-fix-repl
yihozhang-fix-repl
July 30, 2024 08:44 1m 38s
Infer types of functions values based on names Build #1121: Pull request #400 opened by saulshanabrook
July 28, 2024 15:38 1m 47s saulshanabrook:unstable-fn-inference
saulshanabrook:unstable-fn-inference
July 28, 2024 15:38 1m 47s
Merge pull request #389 from egraphs-good/yihozhang-span-annotated-asts Build #1120: Commit fa45d46 pushed by yihozhang
July 25, 2024 18:52 1m 39s main
main
July 25, 2024 18:52 1m 39s
Adding span annotations to the internal representation Build #1119: Pull request #389 synchronize by yihozhang
July 24, 2024 08:14 1m 40s yihozhang-span-annotated-asts
yihozhang-span-annotated-asts
July 24, 2024 08:14 1m 40s
Merge branch 'main' into yihozhang-span-annotated-asts Build #1118: Commit 0179742 pushed by yihozhang
July 24, 2024 08:14 1m 50s yihozhang-span-annotated-asts
yihozhang-span-annotated-asts
July 24, 2024 08:14 1m 50s
Reporting source locations for errors Build #1117: Pull request #398 opened by yihozhang
July 24, 2024 08:01 1m 48s yihozhang-error-reporting
yihozhang-error-reporting
July 24, 2024 08:01 1m 48s